Parametrized Modal Logic II: The Unidimensional Case.

Philippe Balbiani

Published in: DaLí (2022)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
dynamic logic
situation calculus
default logic
conditional logic
autoepistemic logic
domain knowledge
higher order
model checking
prime implicates