𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Free-Variable Tableaux for Propositional Modal Logics

✍ Scribed by Bernhard Beckert; Rajeev GorÉ

Book ID
110325225
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
421 KB
Volume
69
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut-free tableau calculi for some propos
Cut-free tableau calculi for some propositional normal modal logics
✍ Martin Amerbauer 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 700 KB

We give sound and complete tableau and sequent calculi for the propositional normal modal logics $4.04, K4B and G O (these logics axe the smallest normal modal logics containing K and the schemata [:]A -+ ODA, DA --+ A and D<)DA --+ (A --+ DA) ; DA -+ D[]A and A -+ D<>A ; DA --+ D[qA and D(D(A --+ D