arXiv subjects

Rodrigo Stefanes

Publications and source records attributed to Rodrigo Stefanes.

2 recordsLinked to original sources

arXiv2026

Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic

We define the notion of IK-bisimulation between the relational semantics for the intuitionistic modal logic IK, and prove that IK arises as the IK-bisimulation-invariant fragment of intuitionistic first-order logic. En route, we provide an intrinsic characterisation result of this logic by way of a Hennessy-Milner-style theorem and develop some intuitionistic first-order model theory, including intuitionistic analogues of Los's Theorem, elementary embeddings and countable saturation.

math.LO↗

arXiv2025

Intrinsic and relative characterization results for logics with negative modalities

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.

math.LO↗