Stable Modal Logics.

Guram Bezhanishvili Nick Bezhanishvili Julia Ilin

Published in: Rev. Symb. Log. (2018)

Keyphrases

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