Košík

    1.
    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
    Název souboruStaženoVelikostKomentářVerzePřístup
    0557952-aoafin.pdf11.6 MBOA CC BY 4.0Vydavatelský postprintpovolen
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše