Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula.
Aida PliuskevicienePublished in: RCLP (1991)
Keyphrases
- modal logic
- sequent calculi
- sequent calculus
- temporal logic
- inference rules
- decision procedures
- kripke models
- cut elimination
- horn clauses
- classical logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- prime implicates
- linear temporal logic
- default logic
- situation calculus
- model checking
- autoepistemic logic
- logical framework
- multi agent systems
- explanation based generalization