activity
20162025
most citedMīmā\d{m}sā deontic logic: proof theory and applications

9 citations · 23 across the 13 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

math.LO2025

A Direct Characterisation of Logical Grounds and a Decidability Proof

Francesco A. Genco

We present a standard calculus for logical grounding based on well-established grounding principles [Schnieder, 2011, Fine, 2012, Correia, 2014, Correia, 2024] and provide a very d…