Intrinsic and relative characterization results for logics with negative modalities

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 rela…