Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.
Paulo MateusJoão RasgaCristina SernadasPublished in: Log. J. IGPL (2005)
Keyphrases
- truth values
- cut elimination
- inference rules
- sequent calculi
- sequent calculus
- modal logic
- natural deduction
- temporal logic
- decision procedures
- theorem prover
- linear logic
- logical framework
- theorem proving
- nonmonotonic logics
- proof search
- situation calculus
- classical logic
- first order logic
- conditional logic
- horn clauses
- wide class
- multi valued
- artificial intelligence
- machine learning
- sufficient conditions
- modal operators
- model checking
- object oriented
- relational databases
- bayesian networks