Binary modal logic and unary modal logic.

Dick de Jongh Fatemeh Shirmohammadzadeh Maleki

Published in: Log. J. IGPL (2024)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
default logic
situation calculus
conditional logic
pairwise
model checking
non binary
description logic alc
modal operators
sequent calculus