Verification within the KARO Agent Theory

This publication has 16 references indexed in Scilit:

• Clausal temporal resolution
  ACM Transactions on Computational Logic, 2001
• Resolution-based methods for modal logics
  Logic Journal of the IGPL, 2000
• Normal Forms and Proofs in Combined Modal and Temporal Logics
  Published by Springer Nature ,2000
• Tableau Methods for Modal and Temporal Logics
  Published by Springer Nature ,1999
• A clausal resolution method for CTL branching-time temporal logic
  Journal of Experimental & Theoretical Artificial Intelligence, 1999
• Resolution for temporal logics of knowledge
  Journal of Logic and Computation, 1998
• Resolution Methods for the Decision Problem
  Published by Springer Nature ,1993
• Gentzen-type systems and resolution rules part I propositional logic
  Lecture Notes in Computer Science, 1990
• The complexity of reasoning about knowledge and time. I. Lower bounds
  Journal of Computer and System Sciences, 1989
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986