Home > Research > Publications & Outputs > A Van Benthem Theorem for Horn Description and ...
View graph of relations

A Van Benthem Theorem for Horn Description and Modal Logic

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date2018
Host publicationProceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018
<mark>Original language</mark>English