A semantics for the impure logic of ground

DOI10.1007/S10992-022-09676-2MaRDI QIDQ2698546zbMATH OpenOpenAlexFDO

Authors Louis deRosset, Kit Fine

Publication date 24 April 2023

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-022-09676-2

zbMATH Keywords

groundlogic of groundtruthmaker semanticsimpure logic of ground

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A theory of truthmaker content. I: Conjunction, disjunction and negation
• An impure logic of representational grounding
• Angellic content
• Ground-theoretic equivalence
• Grounding and truth-functions
• On constructing a logic for the notion of complete and immediate formal grounding
• On defining the notion of complete and immediate formal grounding
• On weak ground
• THE PURE LOGIC OF GROUND
• Towards a theory of ground-theoretic content

Cited in

(2)

• THE PURE LOGIC OF GROUND
• A Critical Overview of the Most Recent Logics of Grounding

This page was built for publication: A semantics for the impure logic of ground

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2698546)