×
Compute Distance To:
Author ID: kremer.philip Recent zbMATH articles by "Kremer, Philip"
Published as: Kremer, Philip
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 136 times in 96 Documents Cited by Year
Dynamic topological logic. Zbl 1067.03028
Kremer, Philip; Mints, Grigori
23
2005
On the complexity of propositional quantification in intuitionistic logic. Zbl 0887.03002
Kremer, Philip
18
1997
Quantifying over propositions in relevance logic: Nonaxiomatisability of primary interpretations of \({\forall}p\) and \({\exists}p\). Zbl 0786.03016
Kremer, Philip
12
1993
Strong completeness of S4 for any dense-in-itself metric space. Zbl 1326.03025
Kremer, Philip
12
2013
Comparing fixed-point and revision theories of truth. Zbl 1182.03017
Kremer, Philip
8
2009
The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable. Zbl 0795.03032
Kremer, Philip
7
1993
The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment. Zbl 0809.03001
Lance, Mark Norris; Kremer, Philip
7
1994
Relevant identity. Zbl 0923.03027
Kremer, Philip
7
1999
Some supervaluation-based consequence relations. Zbl 1030.03010
Kremer, Philip; Kremer, Michael
6
2003
Propositional quantification in the topological semantics for \(\mathbf S4\). Zbl 0949.03020
Kremer, Philip
5
1997
How truth behaves when there’s no vicious reference. Zbl 1246.03017
Kremer, Philip
5
2010
Quantified modal logic on the rational line. Zbl 1329.03058
Kremer, Philip
4
2014
Dynamic topological S5. Zbl 1195.03025
Kremer, Philip
3
2009
The modal logic of continuous functions on the rational numbers. Zbl 1193.03040
Kremer, Philip
3
2010
Relevant predication: Grammatical characterisations. Zbl 0706.03020
Kremer, Philip
3
1989
Dunn’s relevant predication, real properties and identity. Zbl 0986.03009
Kremer, Philip
2
1997
Indeterminacy of fair infinite lotteries. Zbl 1310.03035
Kremer, Philip
2
2014
The logical structure of linguistic commitment. II: Systems of relevant commitment entailment. Zbl 0860.03009
Lance, Mark; Kremer, Philip
2
1996
Supervaluation fixed-point logics of truth. Zbl 1175.03005
Kremer, Philip; Urquhart, Alasdair
2
2008
The modal logic of continuous functions on Cantor space. Zbl 1115.03011
Kremer, Philip
2
2006
Completeness of second-order propositional S4 and H in topological semantics. Zbl 1475.03079
Kremer, Philip
1
2018
Defining relevant implication in a propositionally quantified S4. Zbl 0949.03021
Kremer, Philip
1
1997
Matching topological and frame products of modal logics. Zbl 1391.03019
Kremer, Philip
1
2016
Completeness of second-order propositional S4 and H in topological semantics. Zbl 1475.03079
Kremer, Philip
1
2018
Matching topological and frame products of modal logics. Zbl 1391.03019
Kremer, Philip
1
2016
Quantified modal logic on the rational line. Zbl 1329.03058
Kremer, Philip
4
2014
Indeterminacy of fair infinite lotteries. Zbl 1310.03035
Kremer, Philip
2
2014
Strong completeness of S4 for any dense-in-itself metric space. Zbl 1326.03025
Kremer, Philip
12
2013
How truth behaves when there’s no vicious reference. Zbl 1246.03017
Kremer, Philip
5
2010
The modal logic of continuous functions on the rational numbers. Zbl 1193.03040
Kremer, Philip
3
2010
Comparing fixed-point and revision theories of truth. Zbl 1182.03017
Kremer, Philip
8
2009
Dynamic topological S5. Zbl 1195.03025
Kremer, Philip
3
2009
Supervaluation fixed-point logics of truth. Zbl 1175.03005
Kremer, Philip; Urquhart, Alasdair
2
2008
The modal logic of continuous functions on Cantor space. Zbl 1115.03011
Kremer, Philip
2
2006
Dynamic topological logic. Zbl 1067.03028
Kremer, Philip; Mints, Grigori
23
2005
Some supervaluation-based consequence relations. Zbl 1030.03010
Kremer, Philip; Kremer, Michael
6
2003
Relevant identity. Zbl 0923.03027
Kremer, Philip
7
1999
On the complexity of propositional quantification in intuitionistic logic. Zbl 0887.03002
Kremer, Philip
18
1997
Propositional quantification in the topological semantics for \(\mathbf S4\). Zbl 0949.03020
Kremer, Philip
5
1997
Dunn’s relevant predication, real properties and identity. Zbl 0986.03009
Kremer, Philip
2
1997
Defining relevant implication in a propositionally quantified S4. Zbl 0949.03021
Kremer, Philip
1
1997
The logical structure of linguistic commitment. II: Systems of relevant commitment entailment. Zbl 0860.03009
Lance, Mark; Kremer, Philip
2
1996
The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment. Zbl 0809.03001
Lance, Mark Norris; Kremer, Philip
7
1994
Quantifying over propositions in relevance logic: Nonaxiomatisability of primary interpretations of \({\forall}p\) and \({\exists}p\). Zbl 0786.03016
Kremer, Philip
12
1993
The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable. Zbl 0795.03032
Kremer, Philip
7
1993
Relevant predication: Grammatical characterisations. Zbl 0706.03020
Kremer, Philip
3
1989
all top 5

Cited by 79 Authors

15 Kremer, Philip
6 Fernández Duque, David
5 Standefer, Shawn
4 Gabelaia, David
4 Lando, Tamar
3 Bezhanishvili, Guram
3 Goldblatt, Robert Ian
3 Lance, Mark Norris
3 Lucero-Bryan, Joel Gregory
3 Rivello, Edoardo
3 Wolter, Frank
3 Zakharyaschev, Michael Viktorovich
2 Antonelli, Gian Aldo
2 Bezhanishvili, Nick
2 Cobreros, Pablo
2 Collins, Peter J.
2 Fritz, Peter
2 Hodkinson, Ian Martin
2 Humberstone, Lloyd
2 Kurucz, Agi
2 Mares, Edwin D.
2 Mints, Grigoriĭ Efroimovich
2 ten Cate, Balder David
2 Urquhart, Alasdair
2 van Mill, Jan
2 Weber, Zach
2 Zach, Richard
2 Zapreev, Ivan S.
1 Baaz, Matthias
1 Badia, Guillermo
1 Başkent, Can
1 Beckmann, Arnold
1 Bednarczyk, Bartosz
1 Beebe, James R.
1 Bennett, Brandon
1 Benzmüller, Christoph Ewald
1 Bílková, Marta
1 Boudou, Joseph
1 Brickhill, Hazel
1 Brun, Georg
1 Bruni, Riccardo
1 Demri, Stéphane P.
1 Diéguez, Martín
1 Ding, Yifeng
1 Égré, Paul
1 Fernandez, David
1 Frost-Arnold, Greg
1 Gupta, Anil Kumar
1 Holliday, Wesley H.
1 Horsten, Leon
1 Iemhoff, Rosalie
1 Kamide, Norihiro
1 Kibble, Rodger
1 Konev, Boris
1 Kontchakov, Roman
1 Krinninger, Sebastian
1 Kuusisto, Antti
1 Lauwers, Luc
1 Leitsch, Alexander
1 Lin, Qiqing
1 Liu, Hu
1 Øgaard, Tore Fjetland
1 Orilia, Francesco
1 Paulson, Lawrence Charles
1 Peregrin, Jaroslav
1 Piwek, Paul
1 Połacik, Tomasz
1 Preining, Norbert
1 Ripley, David
1 Rossi, Lorenzo Paolo
1 Rybakov, Mikhail Nikolaevich
1 Shkatov, Dmitry
1 Stell, John G.
1 Stern, Johannes
1 Sustretov, Dmitry
1 Thomason, Richmond H.
1 Torrini, Paolo
1 van Rooy, Robert
1 Wintein, Stefan

Citations by Year