A reconstruction of default conditionals within epistemic logic.
Costas D. KoutrasChristos MoyzesChristos RantsoudisPublished in: SAC (2017)
Keyphrases
- epistemic logic
- modal logic
- model checking
- nonmonotonic inference
- multi agent systems
- default rules
- logical framework
- dynamic epistemic logic
- conditional logic
- formal semantics
- inference rules
- belief revision
- multi faceted
- temporal logic
- default logic
- mathematical theory
- computation tree logic
- formal verification
- software engineering