Login / Signup
Modal logics for reasoning about infinite unions and intersections of binary relations.
Natasha Alechina
Philippe Balbiani
Dmitry Shkatov
Published in:
J. Appl. Non Class. Logics (2012)
Keyphrases
</>
binary relations
modal logic
inference rules
modal operators
temporal logic
decision procedures
epistemic logic
transitive closure
nonmonotonic logics
theorem proving
situation calculus
graph theoretic
semantic network
expressive power
model checking
default logic
bayesian networks
probabilistic model