Tableaux and algorithms for Propositional Dynamic Logic with Converse

This publication has 15 references indexed in Scilit:

• On the Complexity of Conditional Logics
  Published by Elsevier ,1994
• Strongly analytic tableaux for normal modal logics
  Published by Springer Nature ,1994
• A modal perspective on the computational complexity of attribute value grammar
  Journal of Logic, Language and Information, 1993
• A guide to completeness and complexity for modal logics of knowledge and belief
  Artificial Intelligence, 1992
• Logics of Programs
  Published by Elsevier ,1990
• Proof Methods for Modal and Intuitionistic Logics
  Published by Springer Nature ,1983
• A near-optimal method for reasoning about action
  Journal of Computer and System Sciences, 1980
• Models of program logics
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• Propositional dynamic logic of regular programs
  Journal of Computer and System Sciences, 1979
• A practical decision method for propositional dynamic logic (Preliminary Report)
  Published by Association for Computing Machinery (ACM) ,1978