2 papers
cs.LO2026
A Gödel Modal Logic Over Witnessed Models
Mauro Ferrari, Camillo Fiorentini, Paolo Giardini +1
We introduce GW, a Gödel modal logic based on Kripke models in which the value of each modal formula is witnessed by an accessible world. This witnessed semantics eliminates the li…
math.LO2018
Duality between unprovability and provability in forward proof-search for Intuitionistic Propositional Logic
Camillo Fiorentini, Mauro Ferrari
The inverse method is a saturation based theorem proving technique; it relies on a forward proof-search strategy and can be applied to cut-free calculi enjoying the subformula prop…