Dynamic epistemic logic for protocol analysis

F. Dechesne, J. Eijck, van, W. Teepe, Y. Wang

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Samenvatting

The next day, the participants in the discussion on protocol analysis reconvene. This time, they have an in-depth exchange of ideas on possible uses of epistemic logic.
Originele taal-2Engels
TitelDiscourses on Social Software
RedacteurenJ. Eijck, van, R. Verbrugge
Plaats van productieAmsterdam
UitgeverijAmsterdam University Press
Pagina's161-146
ISBN van geprinte versie978-90-8964-123-6
StatusGepubliceerd - 2009

Publicatie series

NaamTexts in Logic and Games
Volume5

Vingerafdruk Duik in de onderzoeksthema's van 'Dynamic epistemic logic for protocol analysis'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Dechesne, F., Eijck, van, J., Teepe, W., & Wang, Y. (2009). Dynamic epistemic logic for protocol analysis. In J. Eijck, van, & R. Verbrugge (editors), Discourses on Social Software (blz. 161-146). (Texts in Logic and Games; Vol. 5). Amsterdam University Press.