1 citations · 1 across the 3 of their papers we have counts for
9 papers
Constructive S4 modal logics with the finite birelational frame property
Philippe Balbiani, MartÃn Diéguez, David Fernández-Duque +1
The logics and are the two leading intuitionistic variants of the modal logic . Whether the finite model property holds for each of these…
Completeness and Incompleteness for Expanding Gödel-Löb Logics
Somayeh Chopoghloo, David Fernández-Duque, Joost J. Joosten +1
Expanding products of modal logics are bimodal logics obtained from the combination of a `horizontal component' logic and a `vertical component' logic, lying between the fusion and…
Polytopological Semantics for Intuitionistic Modal Logics
Juan P. Aguilera, David Fernández-Duque, Leonardo Pacheco
We develop polytopological semantics for various constructive, intuitionistic, and Gödel--Dummett variations of and . In our models, intuitionistic and…
The Ouroboros Goodstein Principle
David Fernández-Duque, Milan Morreel, Andreas Weiermann
In arXiv:2508.14768, a variant of Goodstein's original process was recently introduced which, given a set of bases, writes each in -norm…
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
Pedro Cabalar, MartÃn Diéguez, David Fernández-Duque +3
The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's saf…
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 and , extending the basic constructive modal logic and the Wijesekera-style…