Modal characterisation theorems over special classes of frames-Reference-Cited by-同舟云学术

Modal characterisation theorems over special classes of frames

Published:2009-10 Issue:1 Volume:161 Page:1-42
ISSN:0168-0072
Container-title:Annals of Pure and Applied Logic
language:en
Short-container-title:Annals of Pure and Applied Logic

Author:

Dawar Anuj,Otto Martin

Publisher

Elsevier BV

Subject

Logic

Reference17 articles.

1. L. Alberucci, A. Facchini, The modal μ-calculus hierarchy over restricted classes of transition systems. The Journal of Symbolic Logic (in press)

2. Modal languages and bounded fragments of predicate logic;Andréka;Journal of Philosophical Logic,1998

3. Modal Logic;Blackburn,2001

4. G. D’Agostino, G. Lenzi, On the μ-calculus over transitive and finite transitive frames, Preprint, 2008

5. A. Dawar, M. Otto, Modal characterisation theorems over special classes of frames, in: Proceedings of 20th IEEE Symposium on Logic in Computer Science, LICS’05, 2005, pp. 21–30

Cited by 44 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. A correspondence theorem for interpretability logic with respect to Verbrugge semantics;Logic Journal of the IGPL;2024-06-27

3. The Topological Mu-Calculus: Completeness and Decidability;Journal of the ACM;2023-10-11

4. Fixed Point Logics on Hemimetric Spaces;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

5. The Universal Tangle for Spatial Reasoning;Logics in Artificial Intelligence;2023