Extended Frames and Separations of Logical Principles

Bulletin of Symbolic Logic 29 (3):311-353 (2023)
  Copy   BIBTEX


We aim at developing a systematic method of separating omniscience principles by constructing Kripke models for intuitionistic predicate logic $\mathbf {IQC}$ and first-order arithmetic $\mathbf {HA}$ from a Kripke model for intuitionistic propositional logic $\mathbf {IPC}$. To this end, we introduce the notion of an extended frame, and show that each IPC-Kripke model generates an extended frame. By using the extended frame generated by an IPC-Kripke model, we give a separation theorem of a schema from a set of schemata in $\mathbf {IQC}$ and a separation theorem of a sentence from a set of schemata in $\mathbf {HA}$. We see several examples which give us separations among omniscience principles.



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Some principles weaker than Markov’s principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
Against logical generalism.Nicole Wyatt & Gillman Payette - 2019 - Synthese 198 (Suppl 20):4813-4830.
Logical Particularism.Nicole Wyatt & Gillman Payette - 2018 - In Jeremy Wyatt, Nikolaj Jang Lee Linding Pedersen & Nathan Kellen (eds.), Pluralisms in Truth and Logic. Cham, Switzerland and Basingstoke, Hampshire, UK: Palgrave Macmillan. pp. 277-299.
Essay on the Principles of Logic: A Defense of Logical Monism.Michael Wolff - 2023 - De Gruyter. Translated by W. Clark Wolf.
What Makes Logical Truths True?Constantin C. Brîncuș - 2016 - Logos and Episteme 7 (3): 249-272.
Quantum frames.Matthew J. Brown - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 45:1-10.


Added to PP

18 (#855,749)

6 months
9 (#352,597)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references