0557952 - ÚI 2024 RIV GB eng J - Journal Article
van Ditmarsch, H. - Liu, M. - Kuijer, L. B. - Sedlár, Igor
Almost APAL.
Journal of Logic and Computation. Roč. 33, č. 6 (2023), s. 1350-1378. ISSN 0955-792X. E-ISSN 1465-363X
Institutional support: RVO:67985807
Keywords : APAL * quantification over announcements * substructural logic * expressivity
OECD category: Pure mathematics
Impact factor: 0.7, year: 2022
Method of publishing: Open access
http://dx.doi.org/10.1093/logcom/exac012
Permanent Link: http://hdl.handle.net/11104/0331834
van Ditmarsch, H. - Liu, M. - Kuijer, L. B. - Sedlár, Igor
Almost APAL.
Journal of Logic and Computation. Roč. 33, č. 6 (2023), s. 1350-1378. ISSN 0955-792X. E-ISSN 1465-363X
Institutional support: RVO:67985807
Keywords : APAL * quantification over announcements * substructural logic * expressivity
OECD category: Pure mathematics
Impact factor: 0.7, year: 2022
Method of publishing: Open access
http://dx.doi.org/10.1093/logcom/exac012
Permanent Link: http://hdl.handle.net/11104/0331834