3 papers
math.LO2026
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…
math.LO2021
An analytic calculus for intuitionistic belief
Cosimo Perini Brogi
Intuitionistic belief has been axiomatized by Artemov and Protopopescu as an extension of intuitionistic propositional logic by means of the distributivity scheme K, and of co-refl…
math.LO2020
Curry-Howard-Lambek Correspondence for Intuitionistic Belief
Cosimo Perini Brogi
This paper introduces a natural deduction calculus for intuitionistic logic of belief which is easily turned into a modal -calculus giving a computational sem…