# Philip Kremer

According to our database

Collaborative distances:

^{1}, Philip Kremer authored at least 28 papers between 1989 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Quantified intuitionistic Logic over metrizable Spaces.

Rev. Symb. Log., 2019

Exploring the Jungle of Intuitionistic Temporal Logics.

CoRR, 2019

2018

Topological-Frame Products of Modal Logics.

Studia Logica, 2018

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

Rev. Symb. Log., 2018

2016

Matching Topological and Frame Products of Modal Logics.

Studia Logica, 2016

2015

The Incompleteness of S4 ⨁ S4 for the Product Space.

Studia Logica, 2015

2014

Indeterminacy of fair infinite lotteries.

Synthese, 2014

Quantified Modal Logic on the Rational Line.

Rev. Symb. Log., 2014

2013

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

Rev. Symb. Log., 2013

2010

Editorial Introduction.

J. Philosophical Logic, 2010

How Truth Behaves When There's No Vicious Reference.

J. Philosophical Logic, 2010

The modal logic of continuous functions on the rational numbers.

Arch. Math. Log., 2010

2009

Comparing Fixed-Point and Revision Theories of Truth.

J. Philosophical Logic, 2009

Dynamic topological S5.

Ann. Pure Appl. Log., 2009

2008

Supervaluation Fixed-Point Logics of Truth.

J. Philosophical Logic, 2008

2007

Dynamic Topological Logic.

Proceedings of the Handbook of Spatial Logics, 2007

2006

The modal logic of continuous functions on cantor space.

Arch. Math. Log., 2006

2005

Dynamic topological logic.

Ann. Pure Appl. Log., 2005

2003

Some Supervaluation-based Consequence Relations.

J. Philosophical Logic, 2003

1999

Relevant identity.

J. Philosophical Logic, 1999

1997

Propositional Quantification in the Topological Semantics for S4.

Notre Dame Journal of Formal Logic, 1997

Defining Relevant Implication in a Propositionally Quantified S4.

J. Symb. Log., 1997

On the Complexity of Propositional Quantification in Intuitionistic Logic.

J. Symb. Log., 1997

1996

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

J. Philosophical Logic, 1996

1994

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

J. Philosophical Logic, 1994

1993

Notre Dame Journal of Formal Logic, 1993

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

J. Symb. Log., 1993

1989

Relevant predication: Grammatical characterisations.

J. Philosophical Logic, 1989