| |
| 2007 | ||
|---|---|---|
| 7 | EE | Philip Kremer, Grigori Mints: Dynamic Topological Logic. Handbook of Spatial Logics 2007: 565-606 |
| 2006 | ||
| 6 | EE | Philip Kremer: The modal logic of continuous functions on cantor space. Arch. Math. Log. 45(8): 1021-1032 (2006) |
| 2005 | ||
| 5 | EE | Philip Kremer, Grigori Mints: Dynamic topological logic. Ann. Pure Appl. Logic 131(1-3): 133-158 (2005) |
| 1997 | ||
| 4 | Philip Kremer: On the Complexity of Propositional Quantification in Intuitionistic Logic. J. Symb. Log. 62(2): 529-544 (1997) | |
| 3 | Philip Kremer: Defining Relevant Implication in a Propositionally Quantified S4. J. Symb. Log. 62(4): 1057-1069 (1997) | |
| 2 | Philip Kremer: Propositional Quantification in the Topological Semantics for S4. Notre Dame Journal of Formal Logic 38(2): 295-313 (1997) | |
| 1993 | ||
| 1 | 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 | Grigori Mints | [5] [7] |