Login / Signup
Modal Logics for Nominal Transition Systems.
Joachim Parrow
Johannes Borgström
Lars-Henrik Eriksson
Ramunas Gutkovas
Tjark Weber
Published in:
Log. Methods Comput. Sci. (2021)
Keyphrases
</>
modal logic
transition systems
temporal logic
model checking
concurrent systems
decision procedures
inference rules
epistemic logic
nonmonotonic logics
situation calculus
model checker
finite state
default logic
belief revision
theorem proving
reactive systems
practical reasoning
formal specification
expert systems