Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.
Marco BernardoRocco De NicolaMichele LoretiPublished in: Acta Informatica (2015)
Keyphrases
- data model
- modal logic
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- situation calculus
- nonmonotonic logics
- classical logic
- conditional logic
- explanation based generalization
- finite automata
- belief networks
- prime implicates
- default logic
- initial state
- autoepistemic logic
- probabilistic model
- modal operators
- finite state
- probability theory
- uncertain data
- conditional probabilities
- model checking
- generative model
- bayesian networks