Das Interpolantexistenzproblem für schwaches K4 und Differenzlogik
Das Interpolantexistenzproblem für die modalen Logiken schwaches K4 und Differenzlogik ist entscheidbar. Die Nichtexistenz eines Interpolanten kann durch Paare von Modellen polynomieller Größe für Differenzlogik und dreifach-exponentieller Größe für schwaches K4 bezeugt werden.