Problem of restricted interpolation in superintuitionistic and some modal logics.

Larisa Maksimova

Published in: Log. J. IGPL (2010)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
image interpolation
classical logic
conditional logic
situation calculus
linear interpolation
epistemic logic
dynamic logic
default logic
artificial intelligence
cooperative
autoepistemic logic