1 citations · 1 across the 13 of their papers we have counts for
4 papers · 2 filters
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…
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…