Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics.

George Weaver Jeffrey Welaish

Published in: J. Symb. Log. (1986)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
nonmonotonic logics
epistemic logic
situation calculus
special case
dynamic logic
description logic alc
multi agent
default logic
sequent calculus
kripke models