On Sub-Propositional Fragments of Modal Logic.
Davide BresolinEmilio Muñoz-VelascoGuido SciaviccoPublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- modal logic
- default logic
- prime implicates
- autoepistemic logic
- decision procedures
- inference rules
- temporal logic
- coalition logic
- propositional logic
- default theories
- nonmonotonic logics
- epistemic logic
- default reasoning
- classical logic
- horn clauses
- first order logic
- nonmonotonic reasoning
- situation calculus
- conditional logic
- explanation based generalization
- dynamic logic
- general logic programs
- artificial intelligence
- theorem proving
- case based reasoning
- probability distribution
- domain knowledge