Abstract
We introduce relativized modal algebra homomorphisms and show that the category of modal algebras and relativized modal algebra homomorphisms is dually equivalent to the category of modal spaces and partial continuous p-morphisms, thus extending the standard duality between the category of modal algebras and modal algebra homomorphisms and the category of modal spaces and continuous p-morphisms. In the transitive case, this yields an algebraic characterization of Zakharyaschev’s subreductions, cofinal subreductions, dense subreductions, and the closed domain condition. As a consequence, we give an algebraic description of canonical, subframe, and cofinal subframe formulas, and provide a new algebraic proof of Zakharyaschev’s theorem that each logic over K4 is axiomatizable by canonical formulas.
Similar content being viewed by others
References
Bezhanishvili G., Bezhanishvili N.: ‘An algebraic approach to canonical formulas: Intuitionistic case’. Rev. Symb. Log. 2(3), 517–549 (2009)
Bezhanishvili G., Ghilardi S.: ‘An algebraic approach to subframe logics. Intuitionistic case’. Ann. Pure Appl. Logic 147(1-2), 84–100 (2007)
Bezhanishvili G., Ghilardi S., Jibladze M.: ‘An algebraic approach to subframe logics. Modal case’. Notre Dame Journal of Formal Logic 52(2), 187–202 (2011)
Bezhanishvili, N., Lattices of Intermediate and Cylindric Modal Logics. PhD thesis, University of Amsterdam, 2006.
Chagrov A., Zakharyaschev M.: Modal Logic, volume 35 of Oxford Logic Guides. The Clarendon Press Oxford University Press, New York (1997)
De Jongh, D., Investigations on the Intuitionistic Propositional Calculus. PhD thesis, University of Wisconsin, 1968.
Esakia, L., Heyting Algebras I. Duality Theory (Russian). “Metsniereba”, Tbilisi, 1985.
Fine K.: ‘An ascending chain of S4 logics’. Theoria 40(2), 110–116 (1974)
Fine K.: ‘Logics containing K4. II’. J. Symbolic Logic 50(3), 619–651 (1985)
Jankov V.: ‘On the relation between deducibility in intuitionistic propositional calculus and finite implicative structures’. Dokl. Akad. Nauk SSSR 151, 1293–1294 (1963)
Jankov V.: ‘The construction of a sequence of strongly independent superintuitionistic propositional calculi’. Soviet Math. Dokl. 9, 806–807 (1968)
Kracht M.: Tools and techniques in modal logic, volume 142 of Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Co., Amsterdam (1999)
Rautenberg W.: ‘Splitting lattices of logics’. Arch. Math. Logik Grundlag 20(3-4), 155–159 (1980)
Venema, Y., ‘Algebras and coalgebras’. In P. Blackburn, J. van Benthem, and F. Wolter (eds.), Handbook of modal logic, volume 3 of Studies in Logic and Practical Reasoning, Elsevier, 2007, pp. 331–426.
Wronski A.: ‘Intermediate logics and the disjunction property’. Reports on Mathematical Logic 1, 39–51 (1973)
Zakharyaschev M.: ‘Canonical formulas for K4. I. Basic results’. J. Symbolic Logic 57(4), 1377–1402 (1992)
Zakharyaschev M.: ‘Canonical formulas for K4. II. Cofinal subframe logics’. J. Symbolic Logic 61(2), 421–449 (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Ryszard Wójcicki on his 80th birthday
Special issue in honor of Ryszard Wójcicki on the occasion of his 80th birthday
Edited by J. Czelakowski, W. Dziobiak, and J. Malinowski
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Bezhanishvili, N. An Algebraic Approach to Canonical Formulas: Modal Case. Stud Logica 99, 93 (2011). https://doi.org/10.1007/s11225-011-9348-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11225-011-9348-9