Labeled Sequent Calculus and Countermodel Construction for Justification Logics.
Meghdad GhariPublished in: CoRR (2014)
Keyphrases
- sequent calculus
- inference rules
- modal logic
- cut elimination
- linear logic
- decision procedures
- natural deduction
- classical logic
- theorem proving
- linear time temporal logic
- temporal logic
- theorem prover
- expressive power
- first order logic
- supervised learning
- logical framework
- situation calculus
- modal operators
- proof search
- knowledge representation
- training data