dblp.uni-trier.dewww.uni-trier.de

Philip Kremer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EEPhilip Kremer, Grigori Mints: Dynamic Topological Logic. Handbook of Spatial Logics 2007: 565-606
2006
6EEPhilip Kremer: The modal logic of continuous functions on cantor space. Arch. Math. Log. 45(8): 1021-1032 (2006)
2005
5EEPhilip 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)

Coauthor Index

1Grigori Mints [5] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)