Implementing Modal and Relevance Logics in a Logical Framework.
David A. BasinSeán MatthewsLuca ViganòPublished in: KR (1996)
Keyphrases
- logical framework
- inference rules
- modal logic
- coalition logic
- epistemic logic
- higher order logic
- nonmonotonic logics
- belief revision
- reasoning tasks
- temporal logic
- conditional logic
- theorem prover
- classical logic
- first order logic
- theorem proving
- possibilistic logic
- linear logic
- normative systems
- default logic
- modal operators
- machine learning
- conditional probabilities
- random variables