𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decidability of Some Classes of Modal Logic

✍ Scribed by S. Norgėla

Book ID
110346092
Publisher
Springer
Year
2002
Tongue
English
Weight
95 KB
Volume
42
Category
Article
ISSN
0363-1672

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coalgebraic modal logic: soundness, comp
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
✍ Dirk Pattinson 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 275 KB

This paper studies ÿnitary modal logics, interpreted over coalgebras for an endofunctor, and establishes soundness, completeness and decidability results. The logics are studied within the abstract framework of coalgebraic modal logic, which can be instantiated with arbitrary endofunctors on the cat

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