1 citations · 1 across the 13 of their papers we have counts for
8 papers · 1 filter
Fine Selection for Intuitionistic Modal Logic
David Fernández-Duque
We extend Fine's selection method to the setting of intuitionistic modal logic and use it to provide a model-theoretic proof that Fischer Servi-style intuitionistic has th…
Dynamic Polyhedral Logic
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia +2
We introduce spatio-temporal polyhedral reachability logics, extending dynamic topological logic with polyhedral semantics and a path-based spatial reachability operator. Formulas…
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 m…
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…
Common Knowledge Always, Forever
Martín Diéguez, David Fernández-Duque
There has been an increasing interest in topological semantics for epistemic logic, which has been shown to be useful for, e.g., modelling evidence, degrees of belief, and self-ref…