Label-Free Proof Systems for Intuitionistic Modal Logic IS5.
Didier GalmicheYakoub SalhiPublished in: LPAR (Dakar) (2010)
Keyphrases
- modal logic
- classical logic
- decision procedures
- temporal logic
- theorem prover
- linear logic
- inference rules
- expert systems
- distributed systems
- default logic
- reasoning systems
- conditional logic
- sequent calculus
- logical framework
- theorem proving
- autoepistemic logic
- epistemic logic
- fixed point
- natural deduction
- description logic alc