✦ LIBER ✦

Metric propositional neighborhood logics on natural numbers

✍ Scribed by Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Book ID: 120961318
Publisher: Springer-Verlag
Year: 2011
Tongue: English
Weight: 682 KB
Volume: 12
Category: Article
ISSN: 1619-1366
DOI: 10.1007/s10270-011-0195-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Notes on the Logic of Natural Numbers

✍ G. D. Duthie 📂 Article 📅 1959 🏛 John Wiley and Sons 🌐 English ⚖ 353 KB

The effect of bounding the number of pri

The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic

✍ Joseph Y. Halpern 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 910 KB

A well-known result of Ladner says that the satisfiability problem for K45, KD45, and S5 is NP-complete. This result implicitly assumes that there are infinitely many primitive propositions in the language; it is easy to see that the satisfiability problem for these logics becomes linear time if the