Intrinsic and relative characterization results for logics with negative modalities
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911324349399040 |
|---|---|
| author | de Groot, Jim Marcos, João Stefanes, Rodrigo |
| author_facet | de Groot, Jim Marcos, João Stefanes, Rodrigo |
| contents | We introduce simulations for modal logics with subclassical negations and restoration modalities, establish an adequacy theorem, and prove intrinsic (Hennessy-Milner-type) and relative (Van Benthem-type) characterization results. These results identify each restorative language with the fragment of first-order logic invariant under its simulations and delineate the expressive profile of modal logics with non-classical negations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_15496 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Intrinsic and relative characterization results for logics with negative modalities de Groot, Jim Marcos, João Stefanes, Rodrigo Logic Logic in Computer Science We introduce simulations for modal logics with subclassical negations and restoration modalities, establish an adequacy theorem, and prove intrinsic (Hennessy-Milner-type) and relative (Van Benthem-type) characterization results. These results identify each restorative language with the fragment of first-order logic invariant under its simulations and delineate the expressive profile of modal logics with non-classical negations. |
| title | Intrinsic and relative characterization results for logics with negative modalities |
| topic | Logic Logic in Computer Science |
| url | https://arxiv.org/abs/2512.15496 |