Basket

    1.
    0537049 - ÚI 2021 RIV GB eng C - Conference Paper (international conference)
    Sedlár, Igor
    Finitely-valued propositional dynamic logics.
    Advances in Modal Logic. London: College Publications, 2020 - (Olivetti, N.; Verbrugge, R.; Negri, S.; Sandu, G.), s. 561-579. ISBN 978-1-84890-341-8.
    [AiML 2020: Conference on Advances in Modal Logic /14./. Helsinki / Online (FI), 24.08.2020-28.08.2020]
    R&D Projects: GA ČR(CZ) GJ18-19162Y
    Institutional support: RVO:67985807
    Keywords : FL-algebras * Many-valued modal logic * Propositional Dynamic Logic * Residuated lattices * Substructural logics * Weighted structures
    OECD category: Pure mathematics
    Permanent Link: http://hdl.handle.net/11104/0314800
    FileDownloadSizeCommentaryVersionAccess
    0537049-pre.pdf0262.3 KBz ArXiv.orgAuthor´s preprintopen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all