PhilArchive
open access
Approaches to the Impure Logic of Ground: Approaches to the Impure Logic..
This paper is concerned with the semantics for the logics of ground that derive from a slight variant GG of the logic of Fine (2012b) that have already been developed in deRosset and Fine (2023). Our aim is to outline that semantics and to provide a comparison with two related semantics for ground, given in Correia (2017) and Krämer (2018a). This comparison highlights the strengths and difficulties of these different approaches.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Logical consequence in modal logic II: Some semantic systems for S4#736108
- Trivalent Semantics for Conditional Obligations#80874
- Ground first: against the proof-theoretic definition of ground#103290
- On Quine's Ontology: quantification, extensionality and naturalism (or from commitment to indifference)#721590
- A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation#746175
Record · ID 86820
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive