Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2602.20380 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918389171093504 |
|---|---|
| author | Almeida, Rodrigo Nicolau Bezhanishvili, Nick Lemal, Simon |
| author_facet | Almeida, Rodrigo Nicolau Bezhanishvili, Nick Lemal, Simon |
| contents | We show that the variety of modal lattices has the superamalgamation property. As a consequence, we obtain that the weak positive modal logic has the Craig interpolation property. Our proof employs the recent duality for modal lattices based on modal L-spaces. Moreover, we extend this result to a number of other weak positive modal logics axiomatized by modal axioms corresponding to universal Horn sentences. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_20380 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Superamalgamation for modal lattices via non-distributive dualities Almeida, Rodrigo Nicolau Bezhanishvili, Nick Lemal, Simon Logic We show that the variety of modal lattices has the superamalgamation property. As a consequence, we obtain that the weak positive modal logic has the Craig interpolation property. Our proof employs the recent duality for modal lattices based on modal L-spaces. Moreover, we extend this result to a number of other weak positive modal logics axiomatized by modal axioms corresponding to universal Horn sentences. |
| title | Superamalgamation for modal lattices via non-distributive dualities |
| topic | Logic |
| url | https://arxiv.org/abs/2602.20380 |