Explicit Non-normal Modal Logic.

Atefeh Rohani Thomas Studer

Published in: WoLLIC (2021)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
default logic
nonmonotonic logics
classical logic
conditional logic
situation calculus
epistemic logic
modal operators
prime implicates
sequent calculus
description logic alc