Up a level |
van Ditmarsch, Hans, Liu, Mo, Kuijer, Louwe B ORCID: 0000-0001-6696-9023 and Sedlar, Igor
(2023)
Almost APAL.
JOURNAL OF LOGIC AND COMPUTATION, 33 (6).
pp. 1350-1378.
van Ditmarsch, Hans, Kuijer, Louwe ORCID: 0000-0001-6696-9023 and Liu, Mo
(2023)
An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability.
In: LORI 2023, Jinan, China.
van Ditmarsch, Hans, Liu, Mo, Kuijer, Louwe B ORCID: 0000-0001-6696-9023 and Sedlár, Igor
(2020)
Expressivity of Some Versions of APAL.
.
Liu, Mo, Fan, Jie, Van Ditmarsch, Hans and Kuijer, Louwe B ORCID: 0000-0001-6696-9023
(2022)
Logics for Knowability.
LOGIC AND LOGICAL PHILOSOPHY, 31 (3).
pp. 385-426.