Weak Nominal Modal Logic.

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

Published in: FORTE (2017)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
dynamic logic
default logic
conditional logic
situation calculus
model checking
prime implicates