Expressivity of Some Versions of APAL

Počet záznamů: 1

1.

SYSNO	0537043
Název	Expressivity of Some Versions of APAL
Tvůrce(i)	van Ditmarsch, H. (FR) Liu, M. (FR) Kuijer, L. B. (GB) Sedlár, Igor (UIVT-O)_{RID, ORCID, SAI}
Korespondující/senior	van Ditmarsch, H. - Korespondující autor
Zdroj.dok.	Dynamic Logic: New Trends and Applications. S. 120-136. - Cham : Springer, 2020 / Martins M. A. ; Sedlár I.
Konference	DaLí International Workshop /3./, 09.10.2020 - 10.10.2020, Prague / Online
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	CH
Klíč.slova	Dynamic epistemic logic * Expressivity * Modal logic
Spolupracující instituce	University of Liverpool, Liverpool (Velká Británie) University of Lorraine, Nancy (Francie)
Trvalý link	http://hdl.handle.net/11104/0314797

Počet záznamů: 1