Wijesekera-style constructive modal logics.

Tiziano Dalmonte

Published in: AiML (2022)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
classical logic
conditional logic
situation calculus
default logic
dynamic logic
autoepistemic logic
bayesian networks
logic programs
model checking