Philip Kremer - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2021

Exploring the Jungle of Intuitionistic Temporal LogicsJoseph Boudou, Martín Diéguez, David Fernández Duque, Philip Kremer. tplp, 21(4):459-492, 2021. [doi]

2019

Quantified intuitionistic Logic over metrizable SpacesPhilip Kremer. rsl, 12(3):405-425, 2019. [doi]

2018

Topological-Frame Products of Modal LogicsPhilip Kremer. sLogica, 106(6):1097-1122, 2018. [doi]

Completeness of second-order Propositional S4 and H in Topological SemanticsPhilip Kremer. rsl, 11(3):507-518, 2018. [doi]

2016

Matching Topological and Frame Products of Modal LogicsPhilip Kremer. sLogica, 104(3):487-502, 2016. [doi]

2015

The Incompleteness of S4 ⨁ S4 for the Product SpacePhilip Kremer. sLogica, 103(1):219-226, 2015. [doi]

2014

Indeterminacy of fair infinite lotteriesPhilip Kremer. synthese, 191(8):1757-1760, 2014. [doi]

Quantified Modal Logic on the Rational LinePhilip Kremer. rsl, 7(3):439-454, 2014. [doi]

2013

Strong Completeness of S4 for any Dense-in-Itself Metric SpacePhilip Kremer. rsl, 6(3):545-570, 2013. [doi]

2010

The modal logic of continuous functions on the rational numbersPhilip Kremer. AML, 49(4):519-527, 2010. [doi]

How Truth Behaves When There's No Vicious ReferencePhilip Kremer. jphil, 39(4):345-367, 2010. [doi]

Editorial IntroductionPhilip Kremer, Heinrich Wansing. jphil, 39(4):341-344, 2010. [doi]

2009

Dynamic topological S5Philip Kremer. APAL, 160(1):96-116, 2009. [doi]

Comparing Fixed-Point and Revision Theories of TruthPhilip Kremer. jphil, 38(4):363-403, 2009. [doi]

2008

Supervaluation Fixed-Point Logics of TruthPhilip Kremer, Alasdair Urquhart. jphil, 37(5):407-440, 2008. [doi]

2006

The modal logic of continuous functions on cantor spacePhilip Kremer. AML, 45(8):1021-1032, 2006. [doi]

2005

Dynamic topological logicPhilip Kremer, Grigori Mints. APAL, 131(1-3):133-158, 2005. [doi]

2003

Some Supervaluation-based Consequence RelationsPhilip Kremer, Michael Kremer. jphil, 32(3):225-244, 2003. [doi]

1999

Relevant identityPhilip Kremer. jphil, 28(2):199-222, 1999. [doi]

1997

Propositional Quantification in the Topological Semantics for S4Philip Kremer. ndjfl, 38(2):295-313, 1997.

On the Complexity of Propositional Quantification in Intuitionistic LogicPhilip Kremer. JSYML, 62(2):529-544, 1997.

Defining Relevant Implication in a Propositionally Quantified S4Philip Kremer. JSYML, 62(4):1057-1069, 1997.

1996

The logical structure of linguistic commitment II: Systems of relevant commitment entailmentMark Lance, Philip Kremer. jphil, 25(4):425-449, 1996. [doi]

1994

The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailmentMark Lance, Philip Kremer. jphil, 23(4):369-400, 1994. [doi]

1993

Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists pPhilip Kremer. JSYML, 58(1):334-349, 1993.

The Gupta-Belnap systems S:::#::: and S:::*::: are not axiomatisablePhilip Kremer. ndjfl, 34(4):583-596, 1993. [doi]

1989

Relevant predication: Grammatical characterisationsPhilip Kremer. jphil, 18(4):349-382, 1989. [doi]

Sign in or sign up to see more results.

runs on WebDSL