A non-uniform view of Craig interpolation in modal logics with linear frames.

Agi Kurucz Frank Wolter Michael Zakharyaschev

Published in: CoRR (2023)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
video frames
moving objects
default logic
image interpolation
autoepistemic logic
theorem proving