Sturm, Holger Philosophy of logic (to appear). (Philosophie der Logik.) (German) Zbl 07035948 Grundthemen Philosophie. Berlin: De Gruyter (ISBN 978-3-11-047593-7). 230 p. (2022). MSC: 03-01 03A05 00A30 PDF BibTeX XML Cite \textit{H. Sturm}, Philosophie der Logik. Berlin: De Gruyter (2022; Zbl 07035948)
Sturm, Holger Russell’s paradox and our conception of properties, or: why semantics is no proper guide to the nature of properties. (English) Zbl 1060.03021 Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 591-609 (2004). MSC: 03A05 PDF BibTeX XML Cite \textit{H. Sturm}, De Gruyter Ser. Log. Appl. 6, 591--609 (2004; Zbl 1060.03021)
Sturm, Holger The true bisimulations for ‘since’ and ‘until’. (English) Zbl 1035.03009 Log. Log. Philos. 10, 173-183 (2002). Reviewer: Giacomo Bonanno (Davis) MSC: 03B44 PDF BibTeX XML Cite \textit{H. Sturm}, Log. Log. Philos. 10, 173--183 (2002; Zbl 1035.03009) Full Text: DOI
Sturm, Holger Modal Horn classes. (English) Zbl 0951.03021 Stud. Log. 64, No. 3, 301-313 (2000). MSC: 03B45 03C40 PDF BibTeX XML Cite \textit{H. Sturm}, Stud. Log. 64, No. 3, 301--313 (2000; Zbl 0951.03021) Full Text: DOI
Sturm, Holger Elementary classes in basic modal logic. (English) Zbl 0951.03020 Stud. Log. 64, No. 2, 193-213 (2000). MSC: 03B45 03C40 PDF BibTeX XML Cite \textit{H. Sturm}, Stud. Log. 64, No. 2, 193--213 (2000; Zbl 0951.03020) Full Text: DOI
Sturm, Holger Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\). (English) Zbl 0968.03026 Notre Dame J. Formal Logic 39, No. 2, 190-211 (1998). MSC: 03B45 03C75 03C40 PDF BibTeX XML Cite \textit{H. Sturm}, Notre Dame J. Formal Logic 39, No. 2, 190--211 (1998; Zbl 0968.03026) Full Text: DOI