A Van Benthem Theorem for Horn Description and Modal Logic

Papacchini, Fabio and Wolter, Frank (2018) A Van Benthem Theorem for Horn Description and Modal Logic. In: Proceedings 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 :. UNSPECIFIED.

Full text not available from this repository.
Item Type:
Contribution in Book/Report/Proceedings
ID Code:
168493
Deposited By:
Deposited On:
28 Oct 2022 09:45
Refereed?:
Yes
Published?:
Published
Last Modified:
28 Nov 2023 10:39