EXPTIME Tableaux for the Coalgebraic μ-Calculus-Reference-Cited by-同舟云学术

EXPTIME Tableaux for the Coalgebraic μ-Calculus

Published:2009 Issue: Volume: Page:179-193
ISSN:0302-9743
Container-title:Computer Science Logic
language:
Short-container-title:

Author:

Cîrstea Corina,Kupke Clemens,Pattinson Dirk

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04027-6_15

Reference20 articles.

1. Lecture Notes in Computer Science;J.C. Bradfield,1996

2. Chellas, B.: Modal Logic, Cambridge (1980)

3. Cîrstea, C., Sadrzadeh, M.: Modular Games for Coalgebraic Fixed Point Logics. In: Adámek, J., Kupke, C. (eds.) Coalgebraic Methods in Computer Science (CMCS 2008). ENTCS, vol. 203 (2008)

4. Emerson, E., Jutla, C.: The complexity of tree automata and logics of programs. In: Proc. FOCS 1988, pp. 328–337. IEEE Computer Society Press, Los Alamitos (1988)

5. Emerson, E., Jutla, C.: Tree automata, mu-calculus and determinacy. In: Proceedings of the 32nd IEEE Symposium on Foundations of Computer Science (FoCS 1991), pp. 368–377. IEEE Computer Society Press, Los Alamitos (1991)

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

1. Complete Game Logic with Sabotage;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking;Lecture Notes in Computer Science;2024

3. Game-theoretic semantics for ATL+ with applications to model checking;Information and Computation;2021-02

4. Completeness for μ-calculi: A coalgebraic approach;Annals of Pure and Applied Logic;2019-05

5. DISJUNCTIVE BASES: NORMAL FORMS AND MODEL THEORY FOR MODAL LOGICS;LOG METH COMPUT SCI;2019