Abstract
In this paper we define the notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, subframe formulas and cofinal subframe formulas, are all particular cases of the frame based formulas. We give a criterion for an intermediate logic to be axiomatizable by frame based formulas and use this criterion to obtain a simple proof that every locally tabular intermediate logic is axiomatizable by Jankov-de Jongh formulas. We also show that not every intermediate logic is axiomatizable by frame based formulas.
Similar content being viewed by others
References
Bezhanishvili G.: ‘Locally finite varieties’. Algebra Universalis 46, 531–548 (2001)
Bezhanishvili G., Ghilardi S.: ‘An algebraic approach to subframe logics. Intuitionistic case’. Annals of Pure and Applied Logic 147, 84–100 (2007)
Bezhanishvili G., Grigolia R.: ‘Locally finite varieties of Heyting algebras’. Algebra Universalis 54, 464–473 (2005)
Bezhanishvili, N., Lattices of Intermediate and Cylindric Modal Logics, PhD thesis, ILLC, University of Amsterdam, 2006.
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
Blok, W., On the degree of incompleteness in modal logics and the covering relation on the lattice of modal logics, Technical Report 78-07, Department of Mathematics, University of Amsterdam, 1978.
Chagrov, A., andM. Zakharyaschev, Modal Logic, Oxford University Press, 1997.
Citkin A.: ‘Structurally complete superintuitionistic logics and primitive varieties of pseudo-boolean algebras’. Mat. Issled. Neklass. Logiki 98, 134–151 (1987)
van Dalen D.: ‘Intuitionistic Logic’. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic, volume 3, pp. 225–339. Kluwer, Reidel, Dordrecht (1986)
Fine K.: ‘Logics containing K4. Part I’. Journal of Symbolic Logic 39, 229–237 (1974)
Fine K.: ‘Logics containing K4. Part II’. Journal of Symbolic Logic 50, 619–651 (1985)
Jankov V.A.: ‘The relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures’. Soviet Mathematics Doklady 4, 1203–1204 (1963)
Jankov V.A.: ‘The construction of a sequence of strongly independent superintuitionistic propositional calculi’. Soviet Mathematics Doklady 9, 806–807 (1968)
Jankov V.A.: ‘Conjuctively indecomposable formulas in propositional calculi’. Mathematics of the USSR Izvestya 3, 17–35 (1969)
de Jongh D., Investigations on the Intuitionistic Propositional Calculus, PhD thesis, University of Wisconsin, 1968.
Kracht M.: ‘An almost general splitting theorem for modal logic’. Studia Logica 49, 455–470 (1990)
Kracht M.: ‘Prefinitely axiomatizable modal and intermediate logics’. Mathematical Logic Quarterly 39, 301–322 (1993)
Kracht M.: ‘Splittings and the finite model property’. Journal of Symbolic Logic 58, 139–157 (1993)
Mardaev S.I.: ‘The number of pre-locally tabular superintuitionistic propositionallogics’. Algebra and Logic 23, 56–66 (1984)
McKenzie R.: ‘Equational bases and non-modular lattice varieties’. Transections of the American Mathematical Society 174, 1–43 (1972)
Rautenberg W.: ‘Der Verband der normalen verzweigten Modallogiken’. Mathematische Zeitschrift 156, 123–140 (1977)
Rautenberg W.: Klassische und nichtklassische Aussagenlogik. Vieweg, Braunshweig-Wiesbaden (1979)
Rautenberg W.: ‘Splitting lattices of logics’. Archiv für Mathematische Logik 20, 155–159 (1980)
Visser, A., D. de Jongh, J. van Benthem, and G. Rautenberg, W., ‘NNIL a study in intuitionistic logic’, in A. Ponse, M. de Rijke, and Y. Venema (eds.), Modal logics and Process Algebra: a bisimulation perspective, 1995, pp. 289–326.
Whitman, P., ‘Splittings of lattices’.American Journal of Mathematics 179–196, 1943.
Wolter, F., Lattices of Modal Logics, PhD thesis, FU Berlin, 1993.
Wolter F.: ‘The structure of lattices of subframe logics’. Annals of Pure and Applied Logic 86, 545–551 (1997)
Zakharyaschev, M., Certain classes of intermediate logics, Technical report, Institute of of Applied Mathematics, Russian Academy of Sciences, 1981, (in Russian).
Zakharyaschev M.: ‘On intermediate logics’. Soviet Mathematics Doklady 27, 274–277 (1983)
Zakharyaschev M.: ‘Normal modal logics containing S4’. Soviet Mathematics Doklady 28, 252–255 (1984)
Zakharyaschev M.: ‘Syntax and semantics of intermediate logics’. Algebra and Logic 28, 262–282 (1989)
Zakharyaschev M.: ‘Canonical formulas for K4. Part I: Basic results’. Journal of Symbolic Logic 57, 1377–1402 (1992)
Zakharyaschev M.: ‘Canonical formulas for K4. Part II: Cofinal subframe logics’. Journal of Symbolic Logic 61, 421–449 (1996)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bezhanishvili, N. Frame Based Formulas for Intermediate Logics. Stud Logica 90, 139–159 (2008). https://doi.org/10.1007/s11225-008-9147-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-008-9147-0