5 citations · 5 across the 2 of their papers we have counts for
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★ 5 cited
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…