13 citations · 19 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 1 cited
A general proof certification framework for modal logic
Tomer Libal, Marco Volpe
One of the main issues in proof certification is that different theorem provers, even when designed for the same logic, tend to use different proof formalisms and produce outputs i…
cs.AI2018
Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Tomer Libal, Matteo Pascucci
Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning. In th…