Philip Kremer

Publication Activity (10 Years)

Years Active: 1989-2021
Publications (10 Years): 6

Top Topics

Decision Procedures

Situation Calculus

Top Venues

Rev. Symb. Log.

Publications

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
Exploring the Jungle of Intuitionistic Temporal Logics. Theory Pract. Log. Program. 21 (4) (2021)
Philip Kremer
Quantified intuitionistic Logic over metrizable Spaces. Rev. Symb. Log. 12 (3) (2019)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
Exploring the Jungle of Intuitionistic Temporal Logics. CoRR (2019)
Philip Kremer
Completeness of second-order Propositional S4 and H in Topological Semantics. Rev. Symb. Log. 11 (3) (2018)
Philip Kremer
Topological-Frame Products of Modal Logics. Stud Logica 106 (6) (2018)
Philip Kremer
Matching Topological and Frame Products of Modal Logics. Stud Logica 104 (3) (2016)
Philip Kremer
The Incompleteness of S4 ⨁ S4 for the Product Space. Stud Logica 103 (1) (2015)
Philip Kremer
Indeterminacy of fair infinite lotteries. Synth. 191 (8) (2014)
Philip Kremer
Quantified Modal Logic on the Rational Line. Rev. Symb. Log. 7 (3) (2014)
Philip Kremer
Strong Completeness of S4 for any Dense-in-Itself Metric Space. Rev. Symb. Log. 6 (3) (2013)
Philip Kremer, Heinrich Wansing
Editorial Introduction. J. Philos. Log. 39 (4) (2010)
Philip Kremer
How Truth Behaves When There's No Vicious Reference. J. Philos. Log. 39 (4) (2010)
Philip Kremer
The modal logic of continuous functions on the rational numbers. Arch. Math. Log. 49 (4) (2010)
Philip Kremer
Dynamic topological S5. Ann. Pure Appl. Log. 160 (1) (2009)
Philip Kremer
Comparing Fixed-Point and Revision Theories of Truth. J. Philos. Log. 38 (4) (2009)
Philip Kremer, Alasdair Urquhart
Supervaluation Fixed-Point Logics of Truth. J. Philos. Log. 37 (5) (2008)
Philip Kremer
The modal logic of continuous functions on cantor space. Arch. Math. Log. 45 (8) (2006)
Philip Kremer, Grigori Mints
Dynamic topological logic. Ann. Pure Appl. Log. 131 (1-3) (2005)
Philip Kremer, Michael Kremer
Some Supervaluation-based Consequence Relations. J. Philos. Log. 32 (3) (2003)
Philip Kremer
Relevant identity. J. Philos. Log. 28 (2) (1999)
Philip Kremer
Propositional Quantification in the Topological Semantics for S4. Notre Dame J. Formal Log. 38 (2) (1997)
Philip Kremer
On the Complexity of Propositional Quantification in Intuitionistic Logic. J. Symb. Log. 62 (2) (1997)
Philip Kremer
Defining Relevant Implication in a Propositionally Quantified S4. J. Symb. Log. 62 (4) (1997)
Mark Lance, Philip Kremer
The logical structure of linguistic commitment II: Systems of relevant commitment entailment. J. Philos. Log. 25 (4) (1996)
Mark Lance, Philip Kremer
The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment. J. Philos. Log. 23 (4) (1994)
Philip Kremer
are not axiomatisable. Notre Dame J. Formal Log. 34 (4) (1993)
Philip Kremer
Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p. J. Symb. Log. 58 (1) (1993)
Philip Kremer
Relevant predication: Grammatical characterisations. J. Philos. Log. 18 (4) (1989)