PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Sturm, Holger"

Author of the publication

copydeleteadd this publication to your clipboard
Axiomatizing Distance Logics.

, , , , and . Journal of Applied Non-Classical Logics, 12 (3-4): 425-440 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Holger Steeb University of Stuttgart

Dr. Holger Jakob University of Stuttgart

Holger Sauter University of Stuttgart

Dr. -Ing. Holger Röseler University of Stuttgart

Dr. Holger Dietrich University of Stuttgart

 

Other publications of authors with the same name

Modale Fragmente von Lww und Lw1w.. Ludwig Maximilians University Munich, (1997)Axiomatizing Distance Logics., , , , and . Journal of Applied Non-Classical Logics, 12 (3-4): 425-440 (2002)Logics of metric spaces., , , , and . ACM Trans. Comput. Log., 4 (2): 260-294 (2003)Interpolation and Preservation in MLω1.. Notre Dame Journal of Formal Logic, 39 (2): 190-211 (1998)Modal Horn Classes.. Studia Logica, 64 (3): 301-313 (2000)Fusions of Description Logics., , , and . Description Logics, volume 33 of CEUR Workshop Proceedings, page 21-30. CEUR-WS.org, (2000)Elementary Classes in Basic Modal Logic.. Studia Logica, 64 (2): 193-213 (2000)First-order Expressivity for S5-models: Modal vs. Two-sorted Languages., and . J. Philosophical Logic, 30 (6): 571-591 (2001)Fusions of Description Logics and Abstract Description Systems, , , and . CoRR, (2011)Tableaux for Temporal Description Logic with Constant Domains., , , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 121-136. Springer, (2001)