A Substructural Modal Logic of Utility.
Gabrielle AndersonDavid J. PymPublished in: J. Log. Comput. (2017)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- epistemic logic
- inference rules
- classical logic
- propositional calculus
- prime implicates
- conditional logic
- modal operators
- situation calculus
- default logic
- utility function
- nonmonotonic logics
- domain knowledge
- dynamic logic
- explanation based generalization
- rule base
- model checking
- database systems
- sequent calculus
- artificial intelligence