Value-based Practical Reasoning: Modal Logic + Argumentation.
Jieting LuoBeishui LiaoDov M. GabbayPublished in: CoRR (2022)
Keyphrases
- modal logic
- practical reasoning
- temporal logic
- legal cases
- argumentation semantics
- epistemic logic
- inference rules
- transition systems
- situation calculus
- classical logic
- argumentation frameworks
- nonmonotonic logics
- conditional logic
- description logic alc
- autoepistemic logic
- default logic
- dynamic logic
- modal operators
- autonomous agents
- kripke models