Abstract
In this paper we expose a method for building models for interpretability logics. The method can be compared to the method of taking unions of
chains in classical model theory. Many applications of the method share
a common part. We isolate this common part in a main lemma. Doing
so, many of our
... read more