Failure of Interpolation in Combined Modal Logics.

Maarten Marx Carlos Areces

Published in: Notre Dame J. Formal Log. (1998)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
dynamic logic
situation calculus
image interpolation
conditional logic
interpolation method
default logic
theorem proving
linear interpolation
autoepistemic logic
modal operators
cooperative