Internal proof calculi for modal logics with separating conjunction.
Stéphane DemriRaul FervariAlessio MansuttiPublished in: J. Log. Comput. (2021)
Keyphrases
- modal logic
- sequent calculi
- decision procedures
- temporal logic
- conditional logic
- inference rules
- reasoning problems
- classical logic
- epistemic logic
- nonmonotonic logics
- default logic
- theorem proving
- constraint satisfaction problems
- dynamic logic
- sequent calculus
- multi agent systems
- theorem prover
- query evaluation
- model checking
- logic programs