Taking inspiration from the monadicity of complete atomic Boolean algebras, we prove that profinite modal algebras are monadic over Set. While analyzing the monadic functor, we recover the universal model construction - a construction widely used in the modal logic literature for describing finitely generated free modal algebras and the essentially finite generated subframes of their canonical models. (c) 2024 Elsevier B.V. All rights reserved.
Profiniteness, monadicity and universal models in modal logic / M. De Berardinis, S. Ghilardi. - In: ANNALS OF PURE AND APPLIED LOGIC. - ISSN 0168-0072. - 175:7(2024), pp. 103454.1-103454.25. [10.1016/j.apal.2024.103454]
Profiniteness, monadicity and universal models in modal logic
S. Ghilardi
Ultimo
2024
Abstract
Taking inspiration from the monadicity of complete atomic Boolean algebras, we prove that profinite modal algebras are monadic over Set. While analyzing the monadic functor, we recover the universal model construction - a construction widely used in the modal logic literature for describing finitely generated free modal algebras and the essentially finite generated subframes of their canonical models. (c) 2024 Elsevier B.V. All rights reserved.File | Dimensione | Formato | |
---|---|---|---|
2305.04592v1.pdf
accesso aperto
Descrizione: Pre-print
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
407.57 kB
Formato
Adobe PDF
|
407.57 kB | Adobe PDF | Visualizza/Apri |
1-s2.0-S0168007224000526-main.pdf
accesso riservato
Descrizione: Full Length Article
Tipologia:
Publisher's version/PDF
Dimensione
574.9 kB
Formato
Adobe PDF
|
574.9 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.