✦ LIBER ✦

Some Embedding Theorems for Modal Logic.by David Makinson

✍ Scribed by Review by: S. K. Thomason

Book ID: 124972822
Publisher: Association for Symbolic Logic
Year: 1974
Tongue: English
Weight: 208 KB
Volume: 39
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272697

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Embedding Theorems for Conditional

Some Embedding Theorems for Conditional Logic

✍ Ming Xu 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 386 KB

On Some Completeness Theorems in Modal L

On Some Completeness Theorems in Modal Logicby D. Makinson

✍ Review by: Lennart Åqvist 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 332 KB

A Generalisation of the Concept of a Rel

A Generalisation of the Concept of a Relational Model for Modal Logic.by David Makinson

✍ Review by: S. K. Thomason 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 88 KB

On Some Completeness Theorems in Modal L

On Some Completeness Theorems in Modal Logic

✍ D. Makinson 📂 Article 📅 1966 🏛 John Wiley and Sons 🌐 English ⚖ 369 KB

ON SOME COMPLETENESS THEOREMS IN MODAL LOGIC1) by D. MAKINSON in Oxford (England)

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

On McKinsey's Syntactical Characterizati

On McKinsey's Syntactical Characterizations of Systems of Modal Logic.by F. R. Drake

✍ Review by: David Makinson 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 176 KB