5 citations · 10 across the 3 of their papers we have counts for
3 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…
cs.AI2010★ 5 cited
A Note on Semantic Web Services Specification and Composition in Constructive Description Logics
Loris Bozzato, Mauro Ferrari
The idea of the Semantic Web is to annotate Web content and services with computer interpretable descriptions with the aim to automatize many tasks currently performed by human use…