Philip Kremer

29 papers Journal 28
YearRankTypeTitle / Venue / Authors
2021 J jnl
Exploring the Jungle of Intuitionistic Temporal Logics.
Theory Pract. Log. Program.
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
2019 J jnl
Exploring the Jungle of Intuitionistic Temporal Logics.
CoRR
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
2019 J jnl
Quantified intuitionistic Logic over metrizable Spaces.
Rev. Symb. Log.
Philip Kremer
2018 J jnl
Completeness of second-order Propositional S4 and H in Topological Semantics.
Rev. Symb. Log.
Philip Kremer
2018 J jnl
Topological-Frame Products of Modal Logics.
Stud Logica
Philip Kremer
2016 J jnl
Matching Topological and Frame Products of Modal Logics.
Stud Logica
Philip Kremer
2015 J jnl
The Incompleteness of S4 ⨁ S4 for the Product Space.
Stud Logica
Philip Kremer
2014 J jnl
Indeterminacy of fair infinite lotteries.
Synth.
Philip Kremer
2014 J jnl
Quantified Modal Logic on the Rational Line.
Rev. Symb. Log.
Philip Kremer
2013 J jnl
Strong Completeness of S4 for any Dense-in-Itself Metric Space.
Rev. Symb. Log.
Philip Kremer
2010 J jnl
Editorial Introduction.
J. Philos. Log.
Philip Kremer, Heinrich Wansing
2010 J jnl
How Truth Behaves When There's No Vicious Reference.
J. Philos. Log.
Philip Kremer
2010 J jnl
The modal logic of continuous functions on the rational numbers.
Arch. Math. Log.
Philip Kremer
2009 J jnl
Comparing Fixed-Point and Revision Theories of Truth.
J. Philos. Log.
Philip Kremer
2009 J jnl
Dynamic topological S5.
Ann. Pure Appl. Log.
Philip Kremer
2008 J jnl
Supervaluation Fixed-Point Logics of Truth.
J. Philos. Log.
Philip Kremer, Alasdair Urquhart
2007 — ch.
Dynamic Topological Logic.
Handbook of Spatial Logics
Philip Kremer, Grigori Mints
2006 J jnl
The modal logic of continuous functions on cantor space.
Arch. Math. Log.
Philip Kremer
2005 J jnl
Dynamic topological logic.
Ann. Pure Appl. Log.
Philip Kremer, Grigori Mints
2003 J jnl
Some Supervaluation-based Consequence Relations.
J. Philos. Log.
Philip Kremer, Michael Kremer
1999 J jnl
Relevant identity.
J. Philos. Log.
Philip Kremer
1997 J jnl
Defining Relevant Implication in a Propositionally Quantified S4.
J. Symb. Log.
Philip Kremer
1997 J jnl
On the Complexity of Propositional Quantification in Intuitionistic Logic.
J. Symb. Log.
Philip Kremer
1997 J jnl
Propositional Quantification in the Topological Semantics for S4.
Notre Dame J. Formal Log.
Philip Kremer
1996 J jnl
The logical structure of linguistic commitment II: Systems of relevant commitment entailment.
J. Philos. Log.
Mark Lance, Philip Kremer
1994 J jnl
The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment.
J. Philos. Log.
Mark Lance, Philip Kremer
1993 J jnl
Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p.
J. Symb. Log.
Philip Kremer
1993 J jnl
The Gupta-Belnap systems S
Notre Dame J. Formal Log.
Philip Kremer
1989 J jnl
Relevant predication: Grammatical characterisations.
J. Philos. Log.
Philip Kremer