Continuous propositional modal logic.
Stefano BaratellaPublished in: J. Appl. Non Class. Logics (2018)
Keyphrases
- modal logic
- default logic
- prime implicates
- autoepistemic logic
- temporal logic
- decision procedures
- inference rules
- classical logic
- epistemic logic
- coalition logic
- situation calculus
- default theories
- nonmonotonic logics
- propositional logic
- nonmonotonic reasoning
- conditional logic
- first order logic
- explanation based generalization
- default reasoning
- horn clauses
- general logic programs
- machine learning
- description logic alc
- model theoretic
- desirable properties
- normal form
- model checking
- bayesian networks