𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Another proof for the decidability of four modal logics

✍ Scribed by Brian F. Chellas

Book ID
112740572
Publisher
Springer
Year
1980
Tongue
English
Weight
507 KB
Volume
9
Category
Article
ISSN
0048-3893

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Decidability of four modal logics
Decidability of four modal logics
✍ KRISTER SEGERBERG πŸ“‚ Article πŸ“… 2008 πŸ› Wiley (Blackwell Publishing) 🌐 English βš– 187 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

On the Proof Theory of the Modal Logic G
On the Proof Theory of the Modal Logic Grz
✍ M. Borga; P. Gentilini πŸ“‚ Article πŸ“… 1986 πŸ› John Wiley and Sons 🌐 English βš– 246 KB πŸ‘ 1 views