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
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
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)