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 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 Matching topological and frame products of modal logics. (English) Zbl 1391.03019 Stud. Log. 104, No. 3, 487-502 (2016). MSC: 03B45 54B10 PDFBibTeX XMLCite \textit{P. Kremer}, Stud. Log. 104, No. 3, 487--502 (2016; Zbl 1391.03019) Full Text: DOI
Kremer, Philip The incompleteness of \(\mathrm{S}4\oplus\mathrm{S}4\) for the product space \(\mathbb R\times\mathbb R\). (English) Zbl 1326.03026 Stud. Log. 103, No. 1, 219-226 (2015). MSC: 03B45 54B10 PDFBibTeX XMLCite \textit{P. Kremer}, Stud. Log. 103, No. 1, 219--226 (2015; Zbl 1326.03026) 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; Mints, Grigori Dynamic topological logic. (English) Zbl 1067.03028 Ann. Pure Appl. Logic 131, No. 1-3, 133-158 (2005). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B45 03B44 54H20 PDFBibTeX XMLCite \textit{P. Kremer} and \textit{G. Mints}, Ann. Pure Appl. Logic 131, No. 1--3, 133--158 (2005; Zbl 1067.03028) Full Text: DOI