Author:
Bradfield Julian,Esparza Javier,Mader Angelika
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. M. Fitting, Proof Methods for Modal and Intuitionistic Logics (Reidel, 1983).
2. G.E. Hughes and M.J. Creswell, An Introduction to Modal Logic, (Methuen and Co., 1968)
3. R. Kaivola, A simple decision method for the linear time mu-calculus, Proc. Int. Workshop on Structures in Concurrency Theory (J. Desel, ed.) (1995)
4. A. Mader, Tableau recycling, Proc. CAV '92, LNCS 663 (1992).
5. A. Mader, Modal μ-calculus, model checking and Gauß elimination, Proc. TACAS'95, to appear in LNCS. (1995)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A New Rule for LTL Tableaux;Electronic Proceedings in Theoretical Computer Science;2016-09-13
2. Satisfiability of Linear Time Mu-Calculus on Finite Traces;Lecture Notes in Computer Science;2016
3. References;An Introduction to Practical Formal Methods Using Temporal Logic;2011-04-26
4. A Proof System for the Linear Time μ-Calculus;FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science;2006
5. Tableau methods for PA-processes;Lecture Notes in Computer Science;1997