Holger Sturm

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4628468	2019-03-13	Paper
Logics of metric spaces	2017-06-13	Paper
Axiomatizing distance logics	2009-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q4663857	2005-04-04	Paper
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case	2003-08-24	Paper
A tableau decision algorithm for modalized \(\mathcal A\mathcal L\mathcal C\) with constant domains	2003-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4532129	2002-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4539602	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4536315	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4536335	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4533343	2002-06-10	Paper
Common knowledge and quantification	2002-05-21	Paper
First-order expressivity for S5-models: Modal vs. two-sorted languages	2002-04-11	Paper
The true bisimulations for 'since' and 'until'	2002-01-01	Paper
Interpolation and preservation in \({\mathcal{ML}}_{\omega_1}\)	2001-07-17	Paper
Modal Horn classes	2000-09-04	Paper
Elementary classes in basic modal logic	2000-04-09	Paper

This page was built for person: Holger Sturm