A Probabilistic Temporal Epistemic Logic: Strong Completeness.
Zoran OgnjanovicAngelina Ilic-StepicAleksandar PerovicPublished in: Log. J. IGPL (2024)
Keyphrases
- epistemic logic
- temporal epistemic
- model checking
- modal logic
- multi agent systems
- temporal properties
- inference rules
- multi faceted
- temporal information
- dynamic epistemic logic
- formal semantics
- computation tree logic
- temporal reasoning
- probabilistic model
- logical framework
- bayesian networks
- mathematical theory
- model checker
- image processing
- conditional probabilities
- spatial information
- probabilistic reasoning
- belief networks
- temporal logic