Expressiveness of Probabilistic Modal Logics, Revisited.

Nathanaël Fijalkow Bartek Klin Prakash Panangaden

Published in: ICALP (2017)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics

epistemic logic
expressive power
classical logic
bayesian networks
model checking

default logic
uncertain data
autoepistemic logic
generative model
probabilistic model

theorem proving
incomplete information
logic programming
model theoretic
data management