Intrinsic and relative characterization results for logics with negative modalities
By: Jim de Groot, João Marcos, Rodrigo Stefanes
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.
Similar Papers
Paraconsistent Constructive Modal Logic
Logic in Computer Science
Helps computers think about things that are both true and false.
Characterization of Lattice Properties Within Modal Extensions
Logic in Computer Science
Makes logic puzzles work with "always" and "sometimes."
Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
Logic in Computer Science
Makes logic puzzles work with fewer rules.