Wijesekera-style constructive modal logics.

Tiziano Dalmonte

Published in: CoRR (2022)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
conditional logic
classical logic
situation calculus
default logic
model checking
dynamic logic
modal operators
kripke models