✦ LIBER ✦

Modal logics of some geometrical structures

✍ Scribed by I. B. Shapirovsky

Book ID: 110179759
Publisher: SP MAIK Nauka/Interperiodica
Year: 2007
Tongue: English
Weight: 386 KB
Volume: 43
Category: Article
ISSN: 0032-9460
DOI: 10.1134/s0032946007030076

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some descending chains of incomplete mod

Some descending chains of incomplete modal logics

✍ Ming Xu 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 769 KB

Subformula results in some propositional

Subformula results in some propositional modal logics

✍ Melvin Fitting 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 251 KB

Tableau Systems for Some Paraconsistent

Tableau Systems for Some Paraconsistent Modal Logics

✍ Casey McGinnis 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 263 KB

On some ascending chains of brouwerian m

On some ascending chains of brouwerian modal logics

✍ Michael J. White 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 937 KB

Combinations of Modal Logics

✍ Brandon Bennett; Clare Dixon; Michael Fisher; Ullrich Hustadt; Enrico Franconi; 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 127 KB

Cut-elimination Theorems for Some Infini

Cut-elimination Theorems for Some Infinitary Modal Logics

✍ Yoshihito Tanaka 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 189 KB

In this article, a cut-free system TLMω 1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames. The system TLMω 1 is a kind of Gentzen style sequent calculus, but a sequent of TLMω 1 is defined as a finite tree of sequents in a standar