Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5.
Rajeev GoréAlwen TiuPublished in: J. Log. Comput. (2007)
Keyphrases
- modal logic
- sequent calculi
- transition systems
- cut elimination
- sequent calculus
- nonmonotonic logics
- logical inference
- qualitative spatial and temporal reasoning
- algebraic structure
- deductive reasoning
- qualitative spatial
- formal language
- natural deduction
- computational properties
- relational structures
- classical logic
- abductive reasoning
- quantum computation
- computer algebra
- concurrent systems
- horn logic
- qualitative spatial reasoning
- proof procedure
- real time
- interval algebra
- modal operators
- inference mechanism
- inference process
- temporal logic
- logic programming
- bayesian networks
- logical framework
- probabilistic inference
- belief nets
- tableau calculus
- linear time temporal logic
- model checking