Unified inverse correspondence for LE-logics
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910432036388864 |
|---|---|
| author | Palmigiano, Alessandra Panettiere, Mattia |
| author_facet | Palmigiano, Alessandra Panettiere, Mattia |
| contents | We generalize Kracht's theory of internal describability from classical modal logic to the family of all logics canonically associated with varieties of normal lattice expansions (LE algebras). We work in the purely algebraic setting of perfect LEs; the formulas playing the role of Kracht's formulas in this generalized setting pertain to a first order language whose atoms are special inequalities between terms of perfect algebras. Via duality, formulas in this language can be equivalently translated into first order conditions in the frame correspondence languages of several types of relational semantics for LE-logics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_01262 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Unified inverse correspondence for LE-logics Palmigiano, Alessandra Panettiere, Mattia Logic We generalize Kracht's theory of internal describability from classical modal logic to the family of all logics canonically associated with varieties of normal lattice expansions (LE algebras). We work in the purely algebraic setting of perfect LEs; the formulas playing the role of Kracht's formulas in this generalized setting pertain to a first order language whose atoms are special inequalities between terms of perfect algebras. Via duality, formulas in this language can be equivalently translated into first order conditions in the frame correspondence languages of several types of relational semantics for LE-logics. |
| title | Unified inverse correspondence for LE-logics |
| topic | Logic |
| url | https://arxiv.org/abs/2405.01262 |