Constructive Realization in Justification Logics via Nested Sequents.
Remo GoetschiPublished in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Keyphrases
- sequent calculus
- linear logic
- modal logic
- inference rules
- logical framework
- epistemic logic
- classical logic
- expressive power
- fixed point
- temporal logic
- logic programming
- decision procedures
- first order logic
- nonmonotonic logics
- conditional logic
- theorem proving
- hierarchical data
- default logic
- high level
- neural network
- artificial intelligence