A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic.
Simone MartiniAndrea MasiniMargherita ZorziPublished in: CoRR (2020)
Keyphrases
- modal logic
- temporal logic
- linear temporal logic
- proof theory
- default reasoning
- decision procedures
- reasoning problems
- default logic
- model checking
- belief revision
- inference rules
- prime implicates
- automated reasoning
- nonmonotonic logics
- situation calculus
- classical logic
- nonmonotonic reasoning
- default theories
- transition systems
- description logic alc
- multi agent systems
- sequent calculus