Intrinsic and relative characterization results for logics with negative modalities
Logic
2025-12-18 v1 Logic in Computer Science
Abstract
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.
Cite
@article{arxiv.2512.15496,
title = {Intrinsic and relative characterization results for logics with negative modalities},
author = {Jim de Groot and João Marcos and Rodrigo Stefanes},
journal= {arXiv preprint arXiv:2512.15496},
year = {2025}
}