( en | de | ru )

 

Disambiguierung von "van Ditmarsch, Hans"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks

, , , , und . Journal of Logical and Algebraic Methods in Programming, (2021)#journal.
DOI: https://doi.org/10.1016/j.jlamp.2021.100662

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Huynh Van Van

Hans van Els

Hans van Els

Hans van Deurzen

Hans van Els

 

Weitere Publikationen von Autoren mit dem selben Namen

Communication Pattern Logic: Epistemic and Topological Views., , , und . CoRR, (2022)Tableaux for Public Announcement Logic., , , und . J. Log. Comput., 20 (1): 55-76 (2010)Verification and Strategy Synthesis for Coalition Announcement Logic., , , und . J. Log. Lang. Inf., 30 (4): 671-700 (2021)No Finite Model Property for Logics of Quantified Announcements., , und . TARK, Volume 335 von EPTCS, Seite 129-138. (2021)On the Interactions of Awareness and Certainty., und . Australasian Conference on Artificial Intelligence, Volume 7106 von Lecture Notes in Computer Science, Seite 727-738. Springer, (2011)Reasoning about local properties in modal logic., , und . AAMAS, Seite 711-718. IFAAMAS, (2011)From Public Announcements to Asynchronous Announcements., , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 75-82. IOS Press, (2020)The logic of gossiping., , und . Artif. Intell., (2020)Bisimulation for Single-Agent Plausibility Models., , , und . Australasian Conference on Artificial Intelligence, Volume 8272 von Lecture Notes in Computer Science, Seite 277-288. Springer, (2013)Dynamic Consequence and Public announcement., , und . Rev. Symb. Log., 6 (4): 659-679 (2013)