A semantics for the impure logic of ground

DOI10.1007/S10992-022-09676-2OpenAlexW4295095059MaRDI QIDQ2698546FDOQ2698546

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

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

Cited In (2)

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

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)