( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability.

, , и . LORI, том 14329 из Lecture Notes in Computer Science, стр. 63-76. Springer, (2023)

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.

Huynh Van Van

Hans van Els

Hans van Els

Hans van Els

Hans van Deurzen

 

Другие публикации лиц с тем же именем

The undecidability of group announcements., , и . AAMAS, стр. 893-900. IFAAMAS/ACM, (2014)Reachability of Five Gossip Protocols., , , и . RP, том 11674 из Lecture Notes in Computer Science, стр. 218-231. Springer, (2019)Forgetting in Multi-Agent Modal Logics., , и . IJCAI, стр. 1066-1073. IJCAI/AAAI Press, (2016)Knowledge, awareness, and bisimulation., , , и . TARK, (2013)Question-answer games., , , и . J. Appl. Non Class. Logics, 21 (3-4): 265-288 (2011)Contingency and Knowing Whether., , и . Rev. Symb. Log., 8 (1): 75-107 (2015)Logic of change, change of logic., , и . Synthese, 171 (2): 227-234 (2009)Neighborhood Contingency Logic., и . ICLA, том 8923 из Lecture Notes in Computer Science, стр. 88-99. Springer, (2015)The Ditmarsch Tale of Wonders.. KI, том 8736 из Lecture Notes in Computer Science, стр. 1-12. Springer, (2014)Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial., и . J. Philos. Log., 38 (6): 587-588 (2009)