In Poggiolesi (2016b) we have introduced a rigorous definition of the notion of complete and
immediate formal grounding; in the present paper our aim is to construct a logic for the …

Most of the logics of grounding that have so far been proposed contain grounding axioms, or
grounding rules, for the connectives of conjunction, disjunction and negation, but little …

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a
range of recent publications and argues that her proposed definition fails. The paper then …

Say that two sentences are ground-theoretically equivalent iff they are interchangeable
salva veritate in grounding contexts. Notoriously, ground-theoretic equivalence is a …

By adopting a proof-theoretic perspective on grounding, we provide a general framework
where several notions of grounding, such as complete and mediate, partial and immediate …

This chapter explores in a detailed yet accessible way the different logics of grounding that
have been proposed in recent years. Logically, the notion of grounding can be formalized in …

By following a recent result of Wilhelm (2020), it can easily be shown that standard
conditions for immediate partial grounding and relevant identity conditions for propositions …

Recent research shows that valuable contributions are obtained by applying even simple,
well-known computational techniques to texts from the history and philosophy of science …

We outline a class of term-languages for epistemic grounding inspired by Prawitz's theory of
grounds. We show how denotation functions can be defined over these languages, relating …

In Poggiolesi [(2020a). Grounding principles for (relevant) implication. Synthese, 1–28], a
definition of the notion of grounding in the background of a relevant framework has been …