DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
title:(Formalized AND Soundness AND and AND Completeness AND of AND Epistemic AND Logic)
Suggestions: Include records that partially match the query
Formalized Soundness and Completeness of Epistemic Logic
Proceedings of International Workshop on Logical Aspects in Multi-agent Systems and Strategic Reasoning — 2021
Year: 2021
Language: English
Formalized Soundness and Completeness of Epistemic Logic 10.1007/978-3-030-88853-4_1
Lecture Notes in Computer Science — 2021, pp. 1-15
Year: 2021
Language: English