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)
Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael Logics of metric spaces. (English) Zbl 1365.68407 ACM Trans. Comput. Log. 4, No. 2, 260-294 (2003). MSC: 68T27 03B20 03B25 03B45 54E35 68T30 PDF BibTeX XML Cite \textit{O. Kutz} et al., ACM Trans. Comput. Log. 4, No. 2, 260--294 (2003; Zbl 1365.68407) Full Text: DOI
Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael Axiomatizing distance logics. (English) Zbl 1185.03034 J. Appl. Non-Class. Log. 12, No. 3-4, 425-439 (2002). MSC: 03B45 03B25 54E35 PDF BibTeX XML Cite \textit{O. Kutz} et al., J. Appl. Non-Class. Log. 12, No. 3--4, 425--439 (2002; Zbl 1185.03034) Full Text: DOI
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
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains. (English) Zbl 1010.03012 Stud. Log. 72, No. 2, 199-232 (2002). MSC: 03B45 03B25 03B35 68T27 PDF BibTeX XML Cite \textit{C. Lutz} et al., Stud. Log. 72, No. 2, 199--232 (2002; Zbl 1010.03012) Full Text: DOI
Sturm, Holger; Wolter, Frank A tableau calculus for temporal description logic: The expanding domain case. (English) Zbl 1017.03007 J. Log. Comput. 12, No. 5, 809-838 (2002). Reviewer: Bernhard Heinemann (Hagen) MSC: 03B44 68T27 68T30 03B70 PDF BibTeX XML Cite \textit{H. Sturm} and \textit{F. Wolter}, J. Log. Comput. 12, No. 5, 809--838 (2002; Zbl 1017.03007) Full Text: DOI
Baader, F.; Lutz, C.; Sturm, H.; Wolter, F. Fusions of description logics and abstract description systems. (English) Zbl 0995.03025 J. Artif. Intell. Res. (JAIR) 16, 1-58 (2002). MSC: 03B70 03B45 68T27 PDF BibTeX XML Cite \textit{F. Baader} et al., J. Artif. Intell. Res. (JAIR) 16, 1--58 (2002; Zbl 0995.03025)
Lutz, Carsten; Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael Tableaux for temporal description logic with constant domains. (English) Zbl 0988.68178 Goré, Rajeev (ed.) et al., Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2083, 121-136 (2001). MSC: 68T27 03B35 03B44 68T30 PDF BibTeX XML Cite \textit{C. Lutz} et al., Lect. Notes Comput. Sci. 2083, 121--136 (2001; Zbl 0988.68178) Full Text: Link
de Rijke, Maarten; Sturm, Holger Global definability in basic modal logic. (English) Zbl 0998.03014 Wansing, Heinrich (ed.), Essays on non-classical logic. Including papers from the workshop, Konstanz, Germany, October 5-6, 1999. Singapore: World Scientific Publishing. Adv. Log. 1, 111-135 (2001). Reviewer: Bernhard Heinemann (Hagen) MSC: 03B45 03C40 PDF BibTeX XML Cite \textit{M. de Rijke} and \textit{H. Sturm}, Adv. Log. 1, 111--135 (2001; Zbl 0998.03014)
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael Common knowledge and quantification. (English) Zbl 0994.03008 Econ. Theory 19, No. 1, 157-186 (2001). MSC: 03B42 PDF BibTeX XML Cite \textit{H. Sturm} et al., Econ. Theory 19, No. 1, 157--186 (2001; Zbl 0994.03008) Full Text: DOI
Sturm, Holger; Wolter, Frank First-order expressivity for S5-models: Modal vs. two-sorted languages. (English) Zbl 0990.03014 J. Philos. Log. 30, No. 6, 571-591 (2001). MSC: 03B45 03B20 PDF BibTeX XML Cite \textit{H. Sturm} and \textit{F. Wolter}, J. Philos. Log. 30, No. 6, 571--591 (2001; Zbl 0990.03014) Full Text: DOI
Sturm, Holger; Wolter, Frank; Zakharyaschev, Michael Monodic epistemic predicate logic. (English) Zbl 0998.03011 Ojeda-Aciego, Manuel (ed.) et al., Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1919, 329-344 (2000). MSC: 03B42 PDF BibTeX XML Cite \textit{H. Sturm} et al., Lect. Notes Comput. Sci. 1919, 329--344 (2000; Zbl 0998.03011)
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael Semi-qualitative reasoning about distances: A preliminary report. (English) Zbl 0998.68157 Ojeda-Aciego, Manuel (ed.) et al., Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1919, 37-56 (2000). MSC: 68T27 PDF BibTeX XML Cite \textit{H. Sturm} et al., Lect. Notes Comput. Sci. 1919, 37--56 (2000; Zbl 0998.68157)
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