New Ways for Developing Proof Theories for First-Order Multi Modal Logics.
Hans Jürgen OhlbachPublished in: CSL (1989)
Keyphrases
- modal logic
- classical first order logic
- dynamic logic
- decision procedures
- conditional logic
- inference rules
- temporal logic
- first order logic
- theorem proving
- theory revision
- nonmonotonic logics
- model theoretic
- classical logic
- sequent calculus
- modal operators
- epistemic logic
- theorem prover
- situation calculus
- horn clauses
- action theories
- logical theories
- logic programming
- autoepistemic logic
- model checking
- knowledge base
- sequent calculi
- linear logic
- natural deduction
- automated reasoning