PhilArchive
open access
A Logic for Contextually Restricted Quantification
This note presents, motivates and details, a logic —model and proof theory— for a first order language with contextually restricted quantification.
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
- Generalized Quantifiers: Logic and Language#716823
- The Logic of Quantificationalism, Part 1: Foundations#714900
- The Semantics of Entailment#774398
- The Semantics of Entailment#764262
- On the proper treatment of quantification in contexts of logical and metaphysical modalities#748665
Record · ID 79416
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