Modal Logics for Nominal Transition Systems.

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

Published in: Arch. Formal Proofs (2016)

Keyphrases

modal logic
transition systems
temporal logic
model checking
concurrent systems
decision procedures
inference rules
model checker
nonmonotonic logics
epistemic logic
situation calculus
default logic
finite state
control flow
formal specification
belief revision
expert systems
reactive systems
dynamic programming