Košík

    1.
    0465841 - ÚI 2017 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
    Sedlár, Igor
    Propositional Dynamic Logic with Belnapian Truth Values.
    Advances in Modal Logic. Vol. 11. London: College Publications, 2016 - (Beklemishev, L.; Demri, S.; Máté, A.), s. 503-519. ISBN 978-1-84890-201-5.
    [AIML 2016. Advances in Modal Logic. Budapest (HU), 30.08.2016-02.09.2016]
    Grant CEP: GA ČR GBP202/12/G061
    Institucionální podpora: RVO:67985807
    Klíčová slova: Belnap-Dunn logic * four-valued logic * propositional dynamic logic
    Kód oboru RIV: BA - Obecná matematika
    https://www.collegepublications.co.uk/aiml/?00008
    Trvalý link: http://hdl.handle.net/11104/0264286
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0465841.pdf67.8 MBVydavatelský postprintvyžádat
    0465841.pdf8440.5 KBAutorský preprintpovolen
     
     

  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