Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2605.07898 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913103626633216 |
|---|---|
| author | Martins, Manuel Rodrigues, Abílio Coniglio, Marcelo Freire, Alfredo |
| author_facet | Martins, Manuel Rodrigues, Abílio Coniglio, Marcelo Freire, Alfredo |
| contents | This paper proposes an approach to information-based logics using many-logic modal structures (MLMS). These structures can express accessibility relations between worlds with different underlying logics by anchoring them to a base lattice, which contains the semantics of each logic as a down-complete sublattice. MLMS are suitable for representing connections between information states (i.e., configurations of databases) and the evolution of information states over time. We will illustrate the application of MLMS by means of the six-valued logic of evidence and truth LET+K , related to the lattice L6, and some four-, three-, and two-valued logics related to down-complete sublattices of L6. These logics are capable of representing paracomplete, paraconsistent, and classical contexts with six-, four-, three-, and two-valued scenarios. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_07898 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On Many-logic modal structures and information-based logics Martins, Manuel Rodrigues, Abílio Coniglio, Marcelo Freire, Alfredo Logic 03B45 This paper proposes an approach to information-based logics using many-logic modal structures (MLMS). These structures can express accessibility relations between worlds with different underlying logics by anchoring them to a base lattice, which contains the semantics of each logic as a down-complete sublattice. MLMS are suitable for representing connections between information states (i.e., configurations of databases) and the evolution of information states over time. We will illustrate the application of MLMS by means of the six-valued logic of evidence and truth LET+K , related to the lattice L6, and some four-, three-, and two-valued logics related to down-complete sublattices of L6. These logics are capable of representing paracomplete, paraconsistent, and classical contexts with six-, four-, three-, and two-valued scenarios. |
| title | On Many-logic modal structures and information-based logics |
| topic | Logic 03B45 |
| url | https://arxiv.org/abs/2605.07898 |