On Herbrand-like Theorems for Cut-free Modal Sequent Logics.
Alexander V. LyaletskiPublished in: SYNASC (2009)
Keyphrases
- modal logic
- sequent calculus
- inference rules
- cut elimination
- temporal logic
- nonmonotonic logics
- logic programs
- horn clauses
- logic programming
- first order logic
- epistemic logic
- classical logic
- conditional logic
- situation calculus
- default logic
- statistical relational learning
- kripke models
- modal operators
- dynamic logic
- nonmonotonic reasoning
- real time
- data sets
- expressive power
- model checking
- data model
- sequent calculi