✦ LIBER ✦

Decidability of four modal logics

✍ Scribed by KRISTER SEGERBERG

Book ID: 114916140
Publisher: Wiley (Blackwell Publishing)
Year: 2008
Tongue: English
Weight: 187 KB
Volume: 34
Category: Article
ISSN: 1755-2567
DOI: 10.1111/j.1755-2567.1968.tb00336.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Another proof for the decidability of fo

Another proof for the decidability of four modal logics

✍ Brian F. Chellas 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 507 KB

Decidability by Resolution for Propositi

Decidability by Resolution for Propositional Modal Logics

✍ Renate A. Schmidt 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 124 KB

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

Decidability of Some Classes of Modal Lo

Decidability of Some Classes of Modal Logic

✍ S. Norgėla 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 95 KB

Non-primitive recursive decidability of

Non-primitive recursive decidability of products of modal logics with expanding domains

✍ D. Gabelaia; A. Kurucz; F. Wolter; M. Zakharyaschev 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 484 KB

Decidable modal logic with undecidable a

Decidable modal logic with undecidable admissibility problem

✍ A. V. Chagrov 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 514 KB