Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2603.17724 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914406179274752 |
|---|---|
| author | Gyenis, Zalán Molnár, Zalán Öztürk, Övge |
| author_facet | Gyenis, Zalán Molnár, Zalán Öztürk, Övge |
| contents | We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that deduction properties of modal logic persist far beyond the additive setting. We introduce the notion of a strongly non-additive variety, and then we prove that there are continuum many strongly non-additive minimal discriminator varieties of Boolean frames; equivalently, continuum many strongly non-additive maximal congruential modal logics with deduction-detachment theorem. Moreover, every normal modal logic can be transformed, in an injective way, into a strongly non-additive one while preserving the (local) deduction theorem. Finally, we show that neither the class of congruential modal logics with the local deduction theorem nor its complement is elementary. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_17724 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | More on modal logics and deduction Gyenis, Zalán Molnár, Zalán Öztürk, Övge Logic We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that deduction properties of modal logic persist far beyond the additive setting. We introduce the notion of a strongly non-additive variety, and then we prove that there are continuum many strongly non-additive minimal discriminator varieties of Boolean frames; equivalently, continuum many strongly non-additive maximal congruential modal logics with deduction-detachment theorem. Moreover, every normal modal logic can be transformed, in an injective way, into a strongly non-additive one while preserving the (local) deduction theorem. Finally, we show that neither the class of congruential modal logics with the local deduction theorem nor its complement is elementary. |
| title | More on modal logics and deduction |
| topic | Logic |
| url | https://arxiv.org/abs/2603.17724 |