Philip Kremer: Papers available online

Logic and topology

Published or forthcoming

  1. "The incompleteness of S4 ⨁ S4 for the product space ℝ × ℝ", forthcoming in Studia Logica. Abstract.
  2. "Quantified modal logic on the rational line", Review of Symbolic Logic 7 (2014), 439-454. Abstract.
  3. "Strong completeness of S4 for any dense-in-itself metric space", Review of Symbolic Logic 6 (2013), 545-570. Abstract.
  4. "The modal logic of continuous functions on the rational numbers", Archive for Mathematical Logic 49 (2010), 519-527. Abstract.
  5. "Dynamic topological S5", Annals of Pure and Applied Logic 160 (2009), 96-116. Abstract.
  6. "The modal logic of continuous functions on Cantor space", Archive for Mathematical Logic 45 (2006), 1021-1032. Abstract.
  7. "Dynamic topological logic" (with Grigori Mints), Annals of Pure and Applied Logic 131 (2005), 133-158. Abstract.
  8. "Propositional quantification in the topological semantics for S4", Notre Dame Journal of Formal Logic 38 (1997), 295-313.

Recent unpublished manuscripts

  1. "Quantified intuitionistic logic over metrizable spaces", manuscript, 2014.
  2. "Topological-frame products of modal logics", manuscript, 2014.
  3. "Quantified S4 in the Lebesgue measure algebra with a constant countable domain", manuscript, 2014.

Older unpublished manuscripts

  1. "Completeness of second-order propositional S4 and H in topological semantics", manuscript, 2013. Abstract.
  2. "Strong completeness of S4 wrt the real line", manuscript, 2012. Abstract.
  3. "The topological product of S4 and S5", manuscript, 2011. Abstract.
  4. "Matching topological products and frame products of modal logics", manuscript, 2010. Abstract.
  5. "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.