Expressiveness of probabilistic modal logics: A gradual approach.

Florence Clerc Nathanaël Fijalkow Bartek Klin Prakash Panangaden

Published in: Inf. Comput. (2019)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
expressive power
probabilistic model
epistemic logic
classical logic
knowledge representation
generative model
modal operators
knowledge base
probability theory
default logic
special case
natural language