An Epistemic Halpern-Shoham Logic for Gradable Justification.
Krystian Adam JobczykAntoni LigezaPublished in: FUZZ-IEEE (2018)
Keyphrases
- modal operators
- modal logic
- temporal logic
- epistemic logic
- dynamic logic
- model checking
- inference rules
- dynamic epistemic logic
- nonmonotonic logics
- predicate logic
- computation tree logic
- belief change
- belief update
- classical logic
- model checker
- formal theory
- situation calculus
- partially ordered
- linear temporal logic
- description logics
- kripke models
- reasoning about actions
- default logic
- probabilistic logic
- logic programming
- bounded model checking
- multi agent
- bayesian networks
- neural network