PDL with Intersection and Converse is 2EXP-complete
暂无分享,去创建一个
[1] Wiebe van der Hoek,et al. Concurrent dynamic epistemic logic for MAS , 2003, AAMAS '03.
[2] Balder ten Cate,et al. The expressivity of XPath with transitive closure , 2006, PODS.
[3] Bernhard Beckert,et al. Dynamic Logic , 2007, The KeY Approach.
[4] Maarten de Rijke,et al. A Modal Perspective on Path Constraints , 2003, J. Log. Comput..
[5] Riccardo Pucella. Review of Dynamic Logic (Foundations of Computing): authors of book: D. Harel, D. Kozen and J. Tiuryn , 2001, SIGA.
[6] Carsten Lutz,et al. 2-Exp Time lower bounds for propositional dynamic logics with intersection , 2005, Journal of Symbolic Logic.
[7] Ryszard Danecki,et al. Nondeterministic Propositional Dynamic Logic with intersection is decidable , 1984, Symposium on Computation Theory.
[8] E. Muller David,et al. Alternating automata on infinite trees , 1987 .
[9] Xavier Caicedo,et al. Models, Algebras, and Proofs Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá , 1999 .
[10] Markus Lohrey,et al. Infinite State Model-Checking of Propositional Dynamic Logics , 2006, CSL.
[11] M. de Rijke,et al. PDL for ordered trees , 2005, J. Appl. Non Class. Logics.
[12] Moshe Y. Vardi. Reasoning about The Past with Two-Way Automata , 1998, ICALP.
[13] Ryszard Danecki. Propositional Dynamic Logic with Strong Loop Predicate , 1984, MFCS.
[14] Robert L. Berger. The undecidability of the domino problem , 1966 .
[15] John-Jules Ch. Meyer,et al. A Complete Epistemic Logic for Multiple Agents , 1997 .
[16] Moe K VaMi. The Taming of Converse: Reasoning about Two-Way Computations , 2005 .
[17] Carsten Lutz,et al. The complexity of query containment in expressive fragments of XPath 2.0 , 2007, PODS.
[18] J.-J. Ch. Meyer,et al. Dynamic logic for reasoning about actions and agents , 1999 .
[19] Maurizio Lenzerini,et al. Boosting the Correspondence between Description Logics and Propositional Dynamic Logics , 1994, AAAI.
[20] Yde Venema,et al. Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.
[21] Luis Fariñas del Cerro,et al. DAL - A Logic for Data Analysis , 1985, Theor. Comput. Sci..
[22] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[23] Vaughan R. Pratt,et al. A Near-Optimal Method for Reasoning about Action , 1980, J. Comput. Syst. Sci..
[24] J. Flum. On the (infinite) model theory of fixed-point logics , 1995 .
[25] Mikolaj Bojanczyk,et al. Two-Way Alternating Automata and Finite Models , 2002, ICALP.
[26] Carsten Lutz,et al. PDL with negation of atomic programs , 2004, J. Appl. Non Class. Logics.
[27] W. van der Hoek,et al. A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge , 1996 .
[28] David E. Muller,et al. Alternating Automata on Infinite Trees , 1987, Theor. Comput. Sci..
[29] Carsten Lutz. PDL with Intersection and Converse Is Decidable , 2005, CSL.