Holger Sturm

MaRDI QIDQ190269zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7035948 (Why is no real title available?)	2019-03-13	Paper
Logics of metric spaces ACM Transactions on Computational Logic	2017-06-13	Paper
Axiomatizing distance logics Journal of Applied Non-Classical Logics	2009-11-30	Paper
scientific article; zbMATH DE number 2152254 (Why is no real title available?)	2005-04-04	Paper
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case Journal Of Logic And Computation	2003-08-24	Paper
A tableau decision algorithm for modalized A L C with constant domains Studia Logica	2003-03-12	Paper
scientific article; zbMATH DE number 1749143 (Why is no real title available?)	2002-11-20	Paper
scientific article; zbMATH DE number 1765666 (Why is no real title available?)	2002-07-10	Paper
scientific article; zbMATH DE number 1759368 (Why is no real title available?)	2002-06-25	Paper
scientific article; zbMATH DE number 1759387 (Why is no real title available?)	2002-06-25	Paper
scientific article; zbMATH DE number 1753135 (Why is no real title available?)	2002-06-10	Paper
Common knowledge and quantification Economic Theory	2002-05-21	Paper
First-order expressivity for S5-models: Modal vs. two-sorted languages Journal of Philosophical Logic	2002-04-11	Paper
The true bisimulations for 'since' and 'until' Logic and Logical Philosophy	2002-01-01	Paper
Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\) Notre Dame Journal of Formal Logic	2001-07-17	Paper
Modal Horn classes Studia Logica	2000-09-04	Paper
Elementary classes in basic modal logic Studia Logica	2000-04-09	Paper

Research outcomes over time

This page was built for person: Holger Sturm