The following pages link to Philip Kremer (Q211182):
Displaying 28 items.
- Matching topological and frame products of modal logics (Q295921) (← links)
- Indeterminacy of fair infinite lotteries (Q484972) (← links)
- Dynamic topological logic (Q705534) (← links)
- Comparing fixed-point and revision theories of truth (Q839652) (← links)
- The modal logic of continuous functions on Cantor space (Q862352) (← links)
- Relevant predication: Grammatical characterisations (Q918534) (← links)
- The modal logic of continuous functions on the rational numbers (Q971888) (← links)
- Dynamic topological S5 (Q1024554) (← links)
- Supervaluation fixed-point logics of truth (Q1029817) (← links)
- Relevant identity (Q1288138) (← links)
- The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable (Q1317974) (← links)
- The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment (Q1332144) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Some supervaluation-based consequence relations (Q1404387) (← links)
- Topological-frame products of modal logics (Q1756592) (← links)
- The logical structure of linguistic commitment. II: Systems of relevant commitment entailment (Q1815416) (← links)
- How truth behaves when there's no vicious reference (Q1959327) (← links)
- The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\) (Q2350220) (← links)
- QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE (Q2940883) (← links)
- On the complexity of propositional quantification in intuitionistic logic (Q4358053) (← links)
- Defining relevant implication in a propositionally quantified <b>S4</b> (Q4382459) (← links)
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (Q5241228) (← links)
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> (Q5287696) (← links)
- STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE (Q5402239) (← links)
- Dunn's relevant predication, real properties and identity (Q5947113) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
