Kremer, Philip Strong completeness of S4 for the real line. (English) Zbl 07469213 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 291-302 (2022). MSC: 03Bxx 03Gxx PDFBibTeX XMLCite \textit{P. Kremer}, Outst. Contrib. Log. 22, 291--302 (2022; Zbl 07469213) Full Text: DOI
Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David; Kremer, Philip Exploring the jungle of intuitionistic temporal logics. (English) Zbl 07776319 Theory Pract. Log. Program. 21, No. 4, 459-492 (2021). MSC: 03B44 PDFBibTeX XMLCite \textit{J. Boudou} et al., Theory Pract. Log. Program. 21, No. 4, 459--492 (2021; Zbl 07776319) Full Text: DOI arXiv
Kremer, Philip Quantified intuitionistic logic over metrizable spaces. (English) Zbl 1445.03007 Rev. Symb. Log. 12, No. 3, 405-425 (2019). Reviewer: Valery Plisko (Moskva) MSC: 03B20 PDFBibTeX XMLCite \textit{P. Kremer}, Rev. Symb. Log. 12, No. 3, 405--425 (2019; Zbl 1445.03007) Full Text: DOI
Kremer, Philip Topological-frame products of modal logics. (English) Zbl 1445.03026 Stud. Log. 106, No. 6, 1097-1122 (2018). Reviewer: Osamu Sonobe (Follonica) MSC: 03B45 54B10 PDFBibTeX XMLCite \textit{P. Kremer}, Stud. Log. 106, No. 6, 1097--1122 (2018; Zbl 1445.03026) Full Text: DOI
Kremer, Philip Completeness of second-order propositional S4 and H in topological semantics. (English) Zbl 1475.03079 Rev. Symb. Log. 11, No. 3, 507-518 (2018). Reviewer: Grigory K. Olkhovikov (Bochum) MSC: 03B45 03B20 03B16 PDFBibTeX XMLCite \textit{P. Kremer}, Rev. Symb. Log. 11, No. 3, 507--518 (2018; Zbl 1475.03079) Full Text: DOI
Kremer, Philip Quantified modal logic on the rational line. (English) Zbl 1329.03058 Rev. Symb. Log. 7, No. 3, 439-454 (2014). MSC: 03B45 PDFBibTeX XMLCite \textit{P. Kremer}, Rev. Symb. Log. 7, No. 3, 439--454 (2014; Zbl 1329.03058) Full Text: DOI
Kremer, Philip How truth behaves when there’s no vicious reference. (English) Zbl 1246.03017 J. Philos. Log. 39, No. 4, 345-367 (2010). MSC: 03A05 PDFBibTeX XMLCite \textit{P. Kremer}, J. Philos. Log. 39, No. 4, 345--367 (2010; Zbl 1246.03017) Full Text: DOI
Kremer, Philip The modal logic of continuous functions on the rational numbers. (English) Zbl 1193.03040 Arch. Math. Logic 49, No. 4, 519-527 (2010). Reviewer: Bernhard Heinemann (Hagen) MSC: 03B45 PDFBibTeX XMLCite \textit{P. Kremer}, Arch. Math. Logic 49, No. 4, 519--527 (2010; Zbl 1193.03040) Full Text: DOI
Kremer, Philip Comparing fixed-point and revision theories of truth. (English) Zbl 1182.03017 J. Philos. Log. 38, No. 4, 363-403 (2009). MSC: 03A05 PDFBibTeX XMLCite \textit{P. Kremer}, J. Philos. Log. 38, No. 4, 363--403 (2009; Zbl 1182.03017) Full Text: DOI
Kremer, Philip Dynamic topological S5. (English) Zbl 1195.03025 Ann. Pure Appl. Logic 160, No. 1, 96-116 (2009). Reviewer: Hans van Ditmarsch (Sevilla) MSC: 03B45 03B44 PDFBibTeX XMLCite \textit{P. Kremer}, Ann. Pure Appl. Logic 160, No. 1, 96--116 (2009; Zbl 1195.03025) Full Text: DOI
Kremer, Philip; Urquhart, Alasdair Supervaluation fixed-point logics of truth. (English) Zbl 1175.03005 J. Philos. Log. 37, No. 5, 407-440 (2008). MSC: 03A05 PDFBibTeX XMLCite \textit{P. Kremer} and \textit{A. Urquhart}, J. Philos. Log. 37, No. 5, 407--440 (2008; Zbl 1175.03005) Full Text: DOI
Kremer, Philip The modal logic of continuous functions on Cantor space. (English) Zbl 1115.03011 Arch. Math. Logic 45, No. 8, 1021-1032 (2006). Reviewer: G. E. Mints (Stanford) MSC: 03B45 54H20 PDFBibTeX XMLCite \textit{P. Kremer}, Arch. Math. Logic 45, No. 8, 1021--1032 (2006; Zbl 1115.03011) Full Text: DOI
Kremer, Philip Relevant identity. (English) Zbl 0923.03027 J. Philos. Log. 28, No. 2, 199-222 (1999). Reviewer: H.Wansing (Leipzig) MSC: 03B47 PDFBibTeX XMLCite \textit{P. Kremer}, J. Philos. Log. 28, No. 2, 199--222 (1999; Zbl 0923.03027) Full Text: DOI
Kremer, Philip Propositional quantification in the topological semantics for \(\mathbf S4\). (English) Zbl 0949.03020 Notre Dame J. Formal Logic 38, No. 2, 295-313 (1997). MSC: 03B45 PDFBibTeX XMLCite \textit{P. Kremer}, Notre Dame J. Formal Logic 38, No. 2, 295--313 (1997; Zbl 0949.03020) Full Text: DOI
Lance, Mark; Kremer, Philip The logical structure of linguistic commitment. II: Systems of relevant commitment entailment. (English) Zbl 0860.03009 J. Philos. Log. 25, No. 4, 425-449 (1996). Reviewer: P.Materna (Praha) MSC: 03A05 03B47 03B65 PDFBibTeX XMLCite \textit{M. Lance} and \textit{P. Kremer}, J. Philos. Log. 25, No. 4, 425--449 (1996; Zbl 0860.03009) Full Text: DOI
Lance, Mark Norris; Kremer, Philip The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment. (English) Zbl 0809.03001 J. Philos. Log. 23, No. 4, 369-400 (1994). Reviewer: P.Materna (Praha) MSC: 03A05 03B65 03B45 PDFBibTeX XMLCite \textit{M. N. Lance} and \textit{P. Kremer}, J. Philos. Log. 23, No. 4, 369--400 (1994; Zbl 0809.03001) Full Text: DOI