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

This page was built for person: Philip Kremer