En metod presenteras som kopplar förekomsten av enhetliga interpolanter till existensen av vissa sekventiella kalkyler. Denna metod tillämpas på flera modala logiker och visas täcka kända resultat från litteraturen, såsom förekomsten av enhetliga interpolanter för modallogiken K. Ny är resultatet av att KD har enhetlig interpolering. Resultaten tyder på att det för modallogiken K4 och S4, som man vet inte har en enhetlig interpolering, inte finns någon viss följdanalys.
Iemhoff REF förbinder förekomsten av vanliga sekvenskalkyler av särskild typ med egenskapen enhetlig interpolering, som kan användas för att visa frånvaron av sådana sekvenskalkyler, men kan endast bevisa enhetlig interpolering för logiker med sekvenssystem.
Uniform interpolation and sequent calculi in modal logic
{'venue': None, 'journal': 'Archive for Mathematical Logic', 'mag_field_of_study': ['Mathematics', 'Computer Science']}