Expressivity of some versions of APAL

DOI10.1007/978-3-030-65840-3_8OpenAlexW3117284275MaRDI QIDQ2055759

Louwe B. Kuijer, Igor Sedlár, Mo Liu, Hans P. van Ditmarsch

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-65840-3_8

zbMATH Keywords

modal logicexpressivitydynamic epistemic logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

To be announced

This page was built for publication: Expressivity of some versions of APAL