Relevant predication: Grammatical characterisations. - Philip Kremer (J. Philos. Log., 1989)

Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p. - Philip Kremer (J. Symb. Log., 1993)

The Gupta-Belnap systems S# and S* are not axiomatisable. - Philip Kremer (Notre Dame J. Formal Log., 1993)

The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment. - Mark Lance; Philip Kremer (J. Philos. Log., 1994)

The logical structure of linguistic commitment II: Systems of relevant commitment entailment. - Mark Lance; Philip Kremer (J. Philos. Log., 1996)

On the Complexity of Propositional Quantification in Intuitionistic Logic. - Philip Kremer (J. Symb. Log., 1997)

Defining Relevant Implication in a Propositionally Quantified S4. - Philip Kremer (J. Symb. Log., 1997)

Propositional Quantification in the Topological Semantics for S4. - Philip Kremer (Notre Dame J. Formal Log., 1997)

Relevant identity. - Philip Kremer (J. Philos. Log., 1999)

Some Supervaluation-based Consequence Relations. - Philip Kremer; Michael Kremer 004 (J. Philos. Log., 2003)

Dynamic topological logic. - Philip Kremer; Grigori Mints (Ann. Pure Appl. Log., 2005)

The modal logic of continuous functions on cantor space. - Philip Kremer (Arch. Math. Log., 2006)

Dynamic Topological Logic. - Philip Kremer; Grigori Mints (Handbook of Spatial Logics, 2007)

Supervaluation Fixed-Point Logics of Truth. - Philip Kremer; Alasdair Urquhart (J. Philos. Log., 2008)

Dynamic topological S5. - Philip Kremer (Ann. Pure Appl. Log., 2009)

Comparing Fixed-Point and Revision Theories of Truth. - Philip Kremer (J. Philos. Log., 2009)

The modal logic of continuous functions on the rational numbers. - Philip Kremer (Arch. Math. Log., 2010)

How Truth Behaves When There's No Vicious Reference. - Philip Kremer (J. Philos. Log., 2010)

Editorial Introduction. - Philip Kremer; Heinrich Wansing (J. Philos. Log., 2010)

Strong Completeness of S4 for any Dense-in-Itself Metric Space. - Philip Kremer (Rev. Symb. Log., 2013)

Quantified Modal Logic on the Rational Line. - Philip Kremer (Rev. Symb. Log., 2014)

Indeterminacy of fair infinite lotteries. - Philip Kremer (Synth., 2014)

The Incompleteness of S4 ⨁ S4 for the Product Space. - Philip Kremer (Stud Logica, 2015)

Matching Topological and Frame Products of Modal Logics. - Philip Kremer (Stud Logica, 2016)

Completeness of second-order Propositional S4 and H in Topological Semantics. - Philip Kremer (Rev. Symb. Log., 2018)

Topological-Frame Products of Modal Logics. - Philip Kremer (Stud Logica, 2018)

Quantified intuitionistic Logic over metrizable Spaces. - Philip Kremer (Rev. Symb. Log., 2019)

Exploring the Jungle of Intuitionistic Temporal Logics. - Joseph Boudou; Martín Diéguez; David Fernández-Duque; Philip Kremer (Theory Pract. Log. Program., 2021)