✦ LIBER ✦

A Generalization of Intuitionistic and Modal Logics.by Raymond M. Smullyan

✍ Scribed by Review by: Melvin Fitting

Book ID: 124963614
Publisher: Association for Symbolic Logic
Year: 1977
Tongue: English
Weight: 107 KB
Volume: 42
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272148

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A general method for proving decidabilit

A general method for proving decidability of intuitionistic modal logics

✍ Natasha Alechina; Dmitry Shkatov 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 152 KB

We generalise the result of [H. Ganzinger, C. Meyer, M. Veanes, The two-variable guarded fragment with transitive relations, in: Proc. 14th IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, 1999, pp. 24-34] on decidability of the two variable monadic guarded fragment of first

What is the Name of this Book?: The Ridd

What is the Name of this Book?: The Riddle of Dracula and Other Logical Puzzlesby Raymond M. Smullyan

✍ Review by: George Boolos 📂 Article 📅 1979 🏛 Duke University Press 🌐 English ⚖ 121 KB

Modal Logics Between S4 and S5by M. A. E

Modal Logics Between S4 and S5by M. A. E. Dummett; E. J. Lemmon;On Formulas of One Variable in Intuitionistic Propositional Calculusby Iwao Nishimura;There are Infinitely Many Diodorean Modal Functionsby D. C. Makinson

✍ Review by: A. N. Prior 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 358 KB

[Trends in Logic] Advances in Natural De

[Trends in Logic] Advances in Natural Deduction Volume 39 || An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited

✍ Pereira, Luiz Carlos; Haeusler, Edward Hermann; de Paiva, Valeria 📂 Article 📅 2014 🏛 Springer Netherlands ⚖ 151 KB

Regular Expressions over Generalized Alp

Regular Expressions over Generalized Alphabet and Design of Logical Nets.by Ivan M. Havel

✍ Review by: J. A. Brzozowski 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 115 KB

A Theory of Attributes Based on Modal Lo

A Theory of Attributes Based on Modal Logic.by E. J. Lemmon;Classes and Attributes in Extended Modal Systems.by Ruth Barcan Marcus

✍ Review by: M. J. Cresswell 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 382 KB