Modal Logic of Lattices

Hałapacz, Maciej A.

dc.contributor.author	Hałapacz, Maciej A.
dc.date.accessioned	2026-07-02T09:18:49Z
dc.date.available	2026-07-02T09:18:49Z
dc.date.issued	2026-06-10
dc.identifier.issn	0138-0680
dc.identifier.uri	http://hdl.handle.net/11089/58696
dc.description.abstract	We prove that the modal logic of lattices with the accessibility relation of being isomorphic to a sublattice is S4.2. The same is proven for modular and distributive lattices.	en
dc.language.iso	en
dc.publisher	Wydawnictwo Uniwersytetu Łódzkiego	pl
dc.relation.ispartofseries	Bulletin of the Section of Logic;2	en
dc.rights.uri	https://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject	modal logics of classes of structures	en
dc.subject	lattices	en
dc.subject	order	en
dc.subject	distributivity	en
dc.title	Modal Logic of Lattices	en
dc.type	Other
dc.page.number	307-319
dc.contributor.authorAffiliation	University of Wrocław, Department of Logic and Methodology of Sciences, Wrocław, Poland	en
dc.identifier.eissn	2449-836X
dc.references	S. Berger, A. C. Block, B. Löwe, The modal logic of abelian groups, Algebra Universalis, vol. 84 (2023), p. 32, DOI: https://doi.org/10.1007/s00012-023-00821-9.	en
dc.references	P. Blackburn, M. de Rijke, Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge (2001), DOI: https://doi.org/10.1017/CBO9781107050884.	en
dc.references	J. Grygiel, The Concept of Gluing for Lattices, Jan Długosz University of Częstochowa, Częstochowa (2004).	en
dc.references	J. D. Hamkins, G. Leibman, B. Löwe, Structural connections between a forcing class and its modal logic, Israel Journal of Mathematics, vol. 207(2) (2015), pp. 617–651, DOI: https://doi.org/10.1007/s11856-015-1185-5.	en
dc.references	J. D. Hamkins, B. Löwe, The modal logic of forcing, Transactions of the American Mathematical Society, vol. 360(4) (2008), pp. 1793–1817, DOI: https://doi.org/10.1090/S0002-9947-07-04297-3.	en
dc.references	J. D. Hamkins, W. A. Wołoszyn, The modal model theory, Notre Dame Journal of Formal Logic, vol. 65(1) (2024), pp. 1–37, DOI: https://doi.org/10.1215/00294527-2024-0001.	en
dc.references	T. Inamdar, B. Löwe, The modal logic of inner models, Journal of Symbolic Logic, vol. 82(1) (2017), pp. 225–236, DOI: https://doi.org/10.1017/jsl.2016.6.	en
dc.references	J. Kotas, P. Wojtylak, Finite distributive lattices as sums of Boolean algebras, Reports on Mathematical Logic, vol. 29 (1995), pp. 35–40.	en
dc.references	D. I. Saveliev, I. Shapirovsky, On modal logics of model-theoretic relations,Studia Logica, vol. 108(5) (2020), pp. 989–1017, DOI: https://doi.org/10.1007/s11225-019-09885-y.	en
dc.references	A. Wroński, Remarks on intermediate logics with axioms containing only one variable, Bulletin of the Section of Logic, vol. 2(1) (1973), pp. 58–64.	en
dc.contributor.authorEmail	maciej.halapacz@uwr.edu.pl
dc.identifier.doi	10.18778/0138-0680.2026.10
dc.relation.volume	55

Files in this item

Name:: 307-319_Halapacz.pdf
Size:: 691.5Kb
Format:: PDF

View/Open

This item appears in the following Collection(s)

Bulletin of the Section of Logic 55/2 (2026) [6]

Show simple item record

Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0