Modal Logics for Nominal Transition Systems.

Joachim Parrow Johannes Borgström Lars-Henrik Eriksson Ramunas Gutkovas Tjark Weber

Published in: CoRR (2019)

Keyphrases

modal logic
transition systems
temporal logic
model checking
concurrent systems
decision procedures
inference rules
nonmonotonic logics
reactive systems
epistemic logic
finite state
situation calculus
default logic
model checker
control flow
formal methods
artificial intelligence
belief revision
data model