8 papers
Ultrafilter Extensions for Veltman Semantics
Fèlix Frigola González, Joost J. Joosten, Vicent Navarro Arroyo +1
In this paper, we present a first-order frame condition for interpretability logic and show that the condition is not modally definable. Yet, the frame condition holds both on ILM…
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…
Coherency through formalisations of Structured Natural Language, A case study on FRETish
Joost J. Joosten, Marina López Chamosa, SofÃa Santiago Fernández
Formalisation is the process of writing system requirements in a formal language. These requirements mostly originate in Natural Language. In the field of Formal Methods, formalisa…
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…
On the Contingency of Logic in Possible World Semantics
Iris van der Giessen, Joost J. Joosten, Paul Mayaux +1
This paper investigates the contingency of logic within the framework of possible world semantics. Possible world semantics captures the meaning of necessitation, i.e., a statement…
The Provably Total Set-Recursive Functions of KPl
Juan Pablo Aguilera, Anton Fernández, Joost J. Joosten
Using relativized ordinal analysis, we give a proof-theoretic characterization of the provably total set-recursive-from- functions of KPl and related theories.