Weighted Modal Logic in Epistemic and Deontic Contexts.
Huimin DongXu LiYì N. WángPublished in: LORI (2021)
Keyphrases
- modal logic
- epistemic logic
- classical logic
- temporal logic
- modal operators
- decision procedures
- inference rules
- kripke models
- dynamic epistemic logic
- model checking
- nonmonotonic logics
- situation calculus
- dynamic logic
- default logic
- conditional logic
- deontic logic
- prime implicates
- formal semantics
- state space
- autoepistemic logic
- natural language
- cooperative
- machine learning