Concepedia
Statistics
Publications
16
Citations
417
H-Index
13
Active since
1993
Affiliations
University of Toronto(Current)
Yale University
Georgetown University
University of Pittsburgh
Stanford University
Philip Kremer is an author at University of Toronto specializing in mathematics, humanities, and model theory.
Publications per year
1993–2024
Dynamic topological logic
Philip Kremer, Grigori Mint︠s︡ · Annals of Pure and Applied Logic · 2004 · 75 citations
On the complexity of propositional quantification in intuitionistic logic
Philip Kremer · Journal of Symbolic Logic · 1997 · 44 citations · Full text
Humanities, Computer Science, Mathematics +12
The logical structure of linguistic commitment II: Systems of relevant commitment entailment
Mark Lance, Philip Kremer · Journal of Philosophical Logic · 1996 · 33 citations
Language Studies, Linguistics, Philosophy Of Language +9
The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment
Mark Lance, Philip Kremer · Journal of Philosophical Logic · 1994 · 31 citations
Language Studies, Linguistics, Philosophy Of Language +6
STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
Philip Kremer · The Review of Symbolic Logic · 2013 · 30 citations · Full text
Natural Sciences, Mathematics, Geometry +8
1–5 of 16