Axiomatization and completeness of lexicographic products of modal logics.
Philippe BalbianiPublished in: J. Appl. Non Class. Logics (2011)
Keyphrases
- modal logic
- situation calculus
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- epistemic logic
- classical logic
- multicriteria optimization
- default logic
- combinatorial optimization
- data quality
- reasoning about actions
- modal operators
- action theories
- preference models
- reasoning tasks
- initial state
- artificial intelligence
- long run
- query processing
- multi agent