Abstract
Simplicity and subdirect irreducibility of complex algebra duals of Kripke frames can be readily characterized in terms of roots of the corresponding Kripke frames.
Here these characterizations are generalized to the case of distributive modal algebras \((A, \vee , \wedge , 0 , 1, \Diamond , \Box , \rhd , \lhd)\), and their duals. Such an algebra consists of a distributive bounded lattice (A, ∨ , ∧ , 0, 1) together with a join preserving operator \(\Diamond\), a meet preserving operator \(\Box\), a join reversing operator ⊳, and a meet reversing operator ⊲.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Birchall, B.: Duality for Distributive Modal Algebras. Master’s Thesis, ILLC, University of Amsterdam, available at www.illc.uva.nl/Publications
Burris, S., Sankappanaar, H.: A Course in Universal Algebra. Graduate Texts in Mathematics. Springer, Heidelberg (1981)
Davey, B., Priestley, H.: Introduction to Lattices and Order. Cambridge University Press, New York (2002)
Gehrke, M., Nagahashi, H., Venema, Y.: A Sahlqvist Theorem for Distributive Modal Logic. Annals of Pure and Applied Logic 131, 65–102 (2005)
Goldblatt, R.: Varieties of Complex Algebras. Annals of Pure and Applied Logic 44(3), 173–242 (1989)
Sambin, G.: Subdirectly Irreducible Modal Algebras and Initial Frames. Studia Logica 62(2), 269–282 (1999)
Venema, Y.: A Dual Characterization of Subdirectly Irreducible BAOs. Studia Logica 77, 105–115 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Birchall, B. (2007). Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras. In: ten Cate, B.D., Zeevat, H.W. (eds) Logic, Language, and Computation. TbiLLC 2005. Lecture Notes in Computer Science(), vol 4363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75144-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-75144-1_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75143-4
Online ISBN: 978-3-540-75144-1
eBook Packages: Computer ScienceComputer Science (R0)