Tableaux and hypersequents for justification logics.
Hidenori KurokawaPublished in: Ann. Pure Appl. Log. (2012)
Keyphrases
- modal logic
- decision procedures
- sequent calculi
- inference rules
- temporal logic
- epistemic logic
- nonmonotonic logics
- conditional logic
- classical logic
- expressive power
- classical first order logic
- propositional dynamic logic
- default logic
- automated reasoning
- theorem proving
- situation calculus
- functional dependencies
- first order logic
- databases
- sequent calculus
- propositional calculus
- similarity measure
- artificial intelligence
- neural network