13 citations · 70 across the 51 of their papers we have counts for
Showing 2025 · math.LOShow all
2 papers · 2 filters
math.LO2025
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…
math.LO2025
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.