๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A general filtration method for modal logics

โœ Scribed by Dov M. Gabbay

Publisher
Springer Netherlands
Year
1972
Tongue
English
Weight
273 KB
Volume
1
Category
Article
ISSN
0022-3611

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

A modal reduction for partial logic
A modal reduction for partial logic
โœ Juan Barba ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 293 KB
A general tableau method for proposition
A general tableau method for propositional interval temporal logics: Theory and implementation
โœ V. Goranko; A. Montanari; P. Sala; G. Sciavicco ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 327 KB

In this paper, we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for