Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems.

Marco Bernardo Marino Miculan

Published in: CoRR (2016)

Keyphrases

modal logic
probabilistic model
bayesian networks
artificial intelligence
temporal logic
uncertain data
probabilistic logic
epistemic logic
agent architecture
default reasoning