Modal Inclusion Logic: Being Lax is Simpler than Being Strict.
Lauri HellaAntti KuusistoArne MeierHeribert VollmerPublished in: MFCS (1) (2015)
Keyphrases
- modal logic
- nonmonotonic logics
- classical logic
- dynamic logic
- temporal logic
- epistemic logic
- information retrieval
- sound and complete axiomatization
- automated reasoning
- default logic
- logic programming
- knowledge representation
- artificial intelligence
- inference rules
- probabilistic logic
- logical framework
- clustering method
- predicate logic
- truth values
- modal operators
- delay insensitive
- transition systems
- machine learning