A Tableau-Like Proof Procedure for Normal Modal Logics.
Zoran OgnjanovicPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- proof procedure
- modal logic
- theorem proving
- decision procedures
- inference rules
- propositional logic
- nonmonotonic logics
- model theoretic
- first order logic
- temporal logic
- proof search
- predicate calculus
- automated reasoning
- theorem prover
- epistemic logic
- sequent calculus
- situation calculus
- incomplete information
- propositional satisfiability
- knowledge representation
- special case