Typology of axioms for a weighted modal logic.
Bénédicte LegasteloisMarie-Jeanne LesotAdrien Revault d'AllonnesPublished in: Int. J. Approx. Reason. (2017)
Keyphrases
- modal logic
- inference rules
- temporal logic
- decision procedures
- classical logic
- kripke models
- nonmonotonic logics
- situation calculus
- epistemic logic
- knowledge base
- prime implicates
- model checking
- conditional logic
- default logic
- explanation based generalization
- modal operators
- database systems
- first order logic
- programming language
- multi agent