Philip Kremer

Available identifiers

zbMath Open kremer.philipMaRDI QIDQ211182

List of research outcomes

Publication	Date of Publication	Type
Exploring the Jungle of Intuitionistic Temporal Logics	2023-12-12	Paper
Strong Completeness of S4 for the Real Line	2022-02-04	Paper
QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES	2019-10-30	Paper
Topological-frame products of modal logics	2018-12-21	Paper
COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS	2018-10-25	Paper
Matching topological and frame products of modal logics	2016-06-14	Paper
The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\)	2015-06-18	Paper
QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE	2015-01-21	Paper
Indeterminacy of fair infinite lotteries	2015-01-08	Paper
STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE	2014-03-06	Paper
How truth behaves when there's no vicious reference	2010-10-06	Paper
The modal logic of continuous functions on the rational numbers	2010-05-17	Paper
Comparing fixed-point and revision theories of truth	2009-09-02	Paper
Supervaluation fixed-point logics of truth	2009-07-13	Paper
Dynamic topological S5	2009-06-17	Paper
The modal logic of continuous functions on Cantor space	2007-01-24	Paper
Dynamic topological logic	2005-01-31	Paper
Some supervaluation-based consequence relations	2003-08-21	Paper
Dunn's relevant predication, real properties and identity	2002-06-06	Paper
Propositional quantification in the topological semantics for \(\mathbf S4\)	2000-12-06	Paper
Relevant identity	1999-10-28	Paper
On the complexity of propositional quantification in intuitionistic logic	1998-05-06	Paper
Defining relevant implication in a propositionally quantified S4	1998-04-29	Paper
The logical structure of linguistic commitment. II: Systems of relevant commitment entailment	1996-11-12	Paper
The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable	1994-09-11	Paper
The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment	1994-01-01	Paper
Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p	1993-08-17	Paper
Relevant predication: Grammatical characterisations	1989-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Philip Kremer