Spohn, Wolfgang (ed.); Schroeder-Heister, Peter (ed.); Olsson, Erik J. (ed.) [Benkewitz, Wolfgang; Contu, Patrizio; Fuhrmann, André; Halbach, Volker; Hoering, Walter; Kahle, Reinhard; Kamp, Hans; Kupffer, Manfred; Olsson, Erik J.; Rott, Hans; Schroeder-Heister, Peter; Spohn, Wolfgang; Sturm, Holger; Zimmermann, Thomas Ede] Logic in philosophy. (Logik in der Philosophie.) (German) Zbl 1205.03017 Philosophische Impulse 6. Heidelberg: Synchron Wissenschaftsverlag der Autoren (ISBN 3-935025-66-1/pbk). xii, 395 p. (2005). Reviewer: Volker Peckhaus (Paderborn) MSC: 03A05 03-01 03-06 00B15 PDFBibTeX XMLCite \textit{W. Spohn} (ed.) et al., Logik in der Philosophie. Heidelberg: Synchron Wissenschaftsverlag der Autoren (2005; Zbl 1205.03017)
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{H. Sturm} and \textit{F. Wolter}, J. Log. Comput. 12, No. 5, 809--838 (2002; Zbl 1017.03007) Full Text: DOI Link
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{H. Sturm}, Notre Dame J. Formal Logic 39, No. 2, 190--211 (1998; Zbl 0968.03026) Full Text: DOI