TABLEAUX: A general theorem prover for modal logics

This publication has 33 references indexed in Scilit:

• Design and synthesis of synchronization skeletons using branching time temporal logic
  Published by Springer Nature ,2005
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Resolution and quantified epistemic logics
  Published by Springer Nature ,1986
• Modal theorem proving
  Published by Springer Nature ,1986
• Knowledge, belief and time
  Published by Springer Nature ,1986
• The KRIPKE automated theorem proving system
  Published by Springer Nature ,1986
• Automata, tableaux, and temporal logics
  Published by Springer Nature ,1985
• Propositional dynamic logics of programs: A survey
  Lecture Notes in Computer Science, 1981
• The temporal logic of branching time
  Published by Association for Computing Machinery (ACM) ,1981
• Decidability for branching time
  Studia Logica, 1980