Philip Kremer

According to our database1, Philip Kremer authored at least 28 papers between 1989 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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
The Gupta-Belnap systems S# and S* are not axiomatisable.
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


  Loading...