Sofía Santiago-Fernández

activity

20242026

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2026

The Complexity of the Constructive Master Modality

Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten

We introduce the semantically-defined constructive master-modality logics $C K^{*}$ and $W K^{*}$ , extending the basic constructive modal logic $CK$ and the Wijesekera-style…

cs.LO2025

Tree Rewriting Calculi for Strictly Positive Logics

Sofía Santiago-Fernández, David Fernández-Duque, Joost J. Joosten

We study strictly positive logics in the language $L^{+}$ , which constructs formulas from $⊤$ , propositional variables, conjunction, and diamond modalities. We begin wit…