Jankov s Theorems for Intermediate Logics in the Setting of Universal Models

Dick De Jongh, Fan Yang. Jankov s Theorems for Intermediate Logics in the Setting of Universal Models. In Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada, editors, Logic, Language, and Computation - 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers. Volume 6618 of Lecture Notes in Computer Science, pages 53-76, Springer, 2009. [doi]

Abstract

Abstract is missing.