Philip Kremer

According to our database, Philip Kremer authored at least 28 papers between 1989 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Exploring the Jungle of Intuitionistic Temporal Logics.

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer

Theory Pract. Log. Program., 2021

2019

Quantified intuitionistic Logic over metrizable Spaces.

Philip Kremer

Rev. Symb. Log., 2019

2018

Topological-Frame Products of Modal Logics.

Philip Kremer

Stud Logica, 2018

Completeness of second-order Propositional S4 and H in Topological Semantics.

Philip Kremer

Rev. Symb. Log., 2018

2016

Matching Topological and Frame Products of Modal Logics.

Philip Kremer

Stud Logica, 2016

2015

The Incompleteness of S4 ⨁ S4 for the Product Space.

Philip Kremer

Stud Logica, 2015

2014

Indeterminacy of fair infinite lotteries.

Philip Kremer

Synth., 2014

Quantified Modal Logic on the Rational Line.

Philip Kremer

Rev. Symb. Log., 2014

2013

Strong Completeness of S4 for any Dense-in-Itself Metric Space.

Philip Kremer

Rev. Symb. Log., 2013

2010

Editorial Introduction.

Philip Kremer, Heinrich Wansing

J. Philos. Log., 2010

How Truth Behaves When There's No Vicious Reference.

Philip Kremer

J. Philos. Log., 2010

The modal logic of continuous functions on the rational numbers.

Philip Kremer

Arch. Math. Log., 2010

2009

Comparing Fixed-Point and Revision Theories of Truth.

Philip Kremer

J. Philos. Log., 2009

Dynamic topological S5.

Philip Kremer

Ann. Pure Appl. Log., 2009

2008

Supervaluation Fixed-Point Logics of Truth.

Philip Kremer, Alasdair Urquhart

J. Philos. Log., 2008

2007

Dynamic Topological Logic.

Philip Kremer, Grigori Mints

Proceedings of the Handbook of Spatial Logics, 2007

2006

The modal logic of continuous functions on cantor space.

Philip Kremer

Arch. Math. Log., 2006

2005

Dynamic topological logic.

Philip Kremer, Grigori Mints

Ann. Pure Appl. Log., 2005

2003

Some Supervaluation-based Consequence Relations.

Philip Kremer, Michael Kremer

J. Philos. Log., 2003

1999

Relevant identity.

Philip Kremer

J. Philos. Log., 1999

1997

Propositional Quantification in the Topological Semantics for S4.

Philip Kremer

Notre Dame J. Formal Log., 1997

Defining Relevant Implication in a Propositionally Quantified S4.

Philip Kremer

J. Symb. Log., 1997

On the Complexity of Propositional Quantification in Intuitionistic Logic.

Philip Kremer

J. Symb. Log., 1997

1996

The logical structure of linguistic commitment II: Systems of relevant commitment entailment.

Mark Lance, Philip Kremer

J. Philos. Log., 1996

1994

The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment.

Mark Lance, Philip Kremer

J. Philos. Log., 1994

1993

The Gupta-Belnap systems S^# and S^* are not axiomatisable.

Philip Kremer

Notre Dame J. Formal Log., 1993

Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p.

Philip Kremer

J. Symb. Log., 1993

1989

Relevant predication: Grammatical characterisations.

Philip Kremer

J. Philos. Log., 1989