| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 15 |      | Philip Kremer: The modal logic of continuous functions on the rational numbers. Arch. Math. Log. 49(4): 519-527 (2010) |
| 14 | | Philip Kremer, Heinrich Wansing: Editorial Introduction. J. Philosophical Logic 39(4): 341-344 (2010) |
| 13 | | Philip Kremer: How Truth Behaves When There's No Vicious Reference. J. Philosophical Logic 39(4): 345-367 (2010) |
| 2009 | ||
| 12 | | Philip Kremer: Dynamic topological S5. Ann. Pure Appl. Logic 160(1): 96-116 (2009) |
| 11 | | Philip Kremer: Comparing Fixed-Point and Revision Theories of Truth. J. Philosophical Logic 38(4): 363-403 (2009) |
| 2008 | ||
| 10 | | Philip Kremer, Alasdair Urquhart: Supervaluation Fixed-Point Logics of Truth. J. Philosophical Logic 37(5): 407-440 (2008) |
| 2007 | ||
| 9 | | Philip Kremer, Grigori Mints: Dynamic Topological Logic. Handbook of Spatial Logics 2007: 565-606 |
| 2006 | ||
| 8 | | Philip Kremer: The modal logic of continuous functions on cantor space. Arch. Math. Log. 45(8): 1021-1032 (2006) |
| 2005 | ||
| 7 | | Philip Kremer, Grigori Mints: Dynamic topological logic. Ann. Pure Appl. Logic 131(1-3): 133-158 (2005) |
| 2003 | ||
| 6 | | Philip Kremer, Michael Kremer: Some Supervaluation-based Consequence Relations. J. Philosophical Logic 32(3): 225-244 (2003) |
| 1997 | ||
| 5 | | Philip Kremer: On the Complexity of Propositional Quantification in Intuitionistic Logic. J. Symb. Log. 62(2): 529-544 (1997) |
| 4 | | Philip Kremer: Defining Relevant Implication in a Propositionally Quantified S4. J. Symb. Log. 62(4): 1057-1069 (1997) |
| 3 | | Philip Kremer: Propositional Quantification in the Topological Semantics for S4. Notre Dame Journal of Formal Logic 38(2): 295-313 (1997) |
| 1993 | ||
| 2 | | Philip Kremer: Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p. J. Symb. Log. 58(1): 334-349 (1993) |
| 1 | | Philip Kremer: The Gupta-Belnap systems S# and S* are not axiomatisable. Notre Dame Journal of Formal Logic 34(4): 583-596 (1993) |
| 1 | Michael Kremer | [6] |
| 2 | Grigori Mints | [7] [9] |
| 3 | Alasdair Urquhart | [10] |
| 4 | Heinrich Wansing | [14] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page