Vytisknout
0557952 - ÚI 2024 RIV GB eng J - Článek v odborném periodiku
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
Institucionální podpora: RVO:67985807
Klíčová slova: APAL * quantification over announcements * substructural logic * expressivity
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Open access
http://dx.doi.org/10.1093/logcom/exac012
Trvalý 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
Institucionální podpora: RVO:67985807
Klíčová slova: APAL * quantification over announcements * substructural logic * expressivity
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Open access
http://dx.doi.org/10.1093/logcom/exac012
Trvalý link: http://hdl.handle.net/11104/0331834