Explicit non-normal modal logic.

Atefeh Rohani Thomas Studer

Published in: CoRR (2021)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
epistemic logic
conditional logic
situation calculus
default logic
autoepistemic logic
dynamic logic
machine learning
multi agent
model checking
description logic alc