𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decidability by Resolution for Propositional Modal Logics

✍ Scribed by Renate A. Schmidt

Book ID
110231588
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
124 KB
Volume
22
Category
Article
ISSN
0168-7433

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

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