Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.

Amirhossein Akbar Tabatabai Rosalie Iemhoff Raheleh Jalali

Published in: WoLLIC (2021)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
dynamic logic
situation calculus
conditional logic
interpolation method
default logic
image interpolation
autoepistemic logic
model checking
np complete
special case
search algorithm