𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A generalization of modal logic

✍ Scribed by Jerzy Słupecki

Publisher
Springer Netherlands
Year
1971
Tongue
English
Weight
319 KB
Volume
28
Category
Article
ISSN
0039-3215

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

A Companion to Philosophical Logic || Mo
A Companion to Philosophical Logic || Modal Logic
✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 121 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.