Philip Kremer: Papers available online

Logic and topology

Published or forthcoming

  1. "Strong completeness of S4 for the real line", in Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs, edited by E. Mares and I. Du‌ntsch, Springer 2021. Abstract.

  2. "Quantified intuitionistic logic over metrizable spaces", Review of Symbolic Logic 12 (2019), 405-425. Abstract.

  3. "Topological-frame products of modal logics", Studia Logica, Studia Logica 106 (2018), 1097-1122.

  4. "Completeness of second-order propositional S4 and H in topological semantics", Review of Symbolic Logic 11 (2018), 507-518. Abstract.

  5. "Matching topological products and frame products of modal logics", Studia Logica 104 (2016), 487-502. Abstract.

  6. "The incompleteness of S4 ⨁ S4 for the product space ℝ × ℝ", Studia Logica 103 (2015), 219-226. Abstract.

  7. "Quantified modal logic on the rational line", Review of Symbolic Logic 7 (2014), 439-454. Abstract.

  8. "Strong completeness of S4 for any dense-in-itself metric space", Review of Symbolic Logic 6 (2013), 545-570. Abstract.

  9. "The modal logic of continuous functions on the rational numbers", Archive for Mathematical Logic 49 (2010), 519-527. Abstract.

  10. "Dynamic topological S5", Annals of Pure and Applied Logic 160 (2009), 96-116. Abstract.

  11. "The modal logic of continuous functions on Cantor space", Archive for Mathematical Logic 45 (2006), 1021-1032. Abstract.

  12. "Dynamic topological logic" (with Grigori Mints), Annals of Pure and Applied Logic 131 (2005), 133-158. Abstract.

  13. "Propositional quantification in the topological semantics for S4", Notre Dame Journal of Formal Logic 38 (1997), 295-313.

Recent unpublished manuscripts

  1. "Quantified S4 in the Lebesgue measure algebra with a constant countable domain", manuscript, 2014.

Older unpublished manuscripts

  1. "The topological product of S4 and S5", manuscript, 2011. Abstract.

  2. "A small counterexample in intuitionistic dynamic topological logic", manuscript, 2004.

Truth and related topics

  1. "How truth behaves when there's no vicious reference", Journal of Philosophical Logic 39 (2010), 345-367.

  2. "Comparing fixed point and revision theories of truth", Journal of Philosophical Logic 38 (2009), 363-403.

  3. "Supervaluation fixed point logics of truth" (with Alasdair Urquhart), Journal of Philosophical Logic 37 (2008), 407-440.

  4. "Some supervaluation-based consequence relations" (with Michael Kremer), Journal of Philosophical Logic 32 (2003), 225-244.

  5. "On the 'semantics' for languages with their own truth predicates", in Truth, Definition and Circularity, (A. Chapuis and A. Gupta, eds.), Indian Council of Philosophical Research, New Delhi, 2000, 217-246.

  6. "The Gupta-Belnap systems S* and S# are not axiomatisable", Notre Dame Journal of Formal Logic 34 (1993), 583-596.

Propositional quantification (see also (8) and (12), above)

  1. "Defining relevant implication in a propositionally quantified S4", Journal of Symbolic Logic 62 (1997), 1057-1069.

  2. "On the complexity of propositional quantification in intuitionistic logic", Journal of Symbolic Logic, Vol. 62 (1997), 529-544.

  3. "Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p", Journal of Symbolic Logic 58 (1993), 334-349.

Relevance logic

  1. "Relevant identity", Journal of Philosophical Logic 28 (1999), 199-222.

  2. "Dunn's relevant predication, real properties and identity", Erkenntnis 47 (1997), 37-65.

  3. "The logical structure of linguistic commitment II: systems of relevant commitment entailment" (with Mark Lance), Journal of Philosophical Logic 25 (1996), 425-449.

  4. "Relevant predication: grammatical characterisations", Journal of Philosophical Logic 18 (1989), 349-382.

Other

  1. "Some supervaluation-based consequence relations" (with Michael Kremer), Journal of Philosophical Logic 32 (2003), 225-244.

  2. "The logical structure of linguistic commitment I: four systems of non-relevant commitment entailment" (with Mark Lance), Journal of Philosophical Logic 23 (1994), 369-400.