Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions

[1]  Richard E. Ladner,et al.  Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[2]  Yanjun Li,et al.  Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles , 2015, LORI.

[3]  Pierre Wolper,et al.  The tableau method for temporal logic: an overview , 1985 .

[4]  Johan van Benthem,et al.  Logic in Games , 2014 .

[5]  Ullrich Hustadt,et al.  Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic , 2004, Stud Logica.

[6]  Valentin Goranko,et al.  Tableau-based decision procedures for logics of strategic ability in multiagent systems , 2008, TOCL.

[7]  Marcus Kracht,et al.  Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.

[8]  Valentin Goranko,et al.  Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ , 2014, IJCAR.

[9]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[10]  Joseph Y. Halpern,et al.  Complete Axiomatizations for Reasoning about Knowledge and Time , 2002, SIAM J. Comput..

[11]  Rajeev Goré,et al.  Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse , 2010, IJCAR.

[12]  Renate A. Schmidt,et al.  On combinations of propositional dynamic logic and doxastic modal logics , 2008, J. Log. Lang. Inf..

[13]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[14]  Marcus Kracht,et al.  Simulation and Transfer Results in Modal Logic – A Survey , 1997, Stud Logica.

[15]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[16]  Frank Wolter,et al.  Advanced modal logic , 1996 .

[17]  Yanjing Wang,et al.  On axiomatizations of public announcement logic , 2013, Synthese.

[18]  Johan van Benthem,et al.  Merging Frameworks for Interaction , 2009, J. Philos. Log..

[19]  Vaughan R. Pratt.  A practical decision method for propositional dynamic logic (Preliminary Report) , 1978, STOC '78.

[20]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[21]  Ramaswamy Ramanujam,et al.  A Knowledge Based Semantics of Messages , 2003, J. Log. Lang. Inf..