Počet záznamů: 1
Propositional Dynamic Logic with Belnapian Truth Values
- 1.
SYSNO 0465841 Název Propositional Dynamic Logic with Belnapian Truth Values Tvůrce(i) Sedlár, Igor (UIVT-O) RID, ORCID, SAI Zdroj.dok. Advances in Modal Logic, 11. S. 503-519. - London : College Publications, 2016 / Beklemishev L. ; Demri S. ; Máté A. Konference AIML 2016. Advances in Modal Logic, 30.08.2016, Budapest - 02.09.2016 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant GBP202/12/G061 GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 Jazyk dok. eng Země vyd. GB Klíč.slova Belnap-Dunn logic * four-valued logic * propositional dynamic logic URL https://www.collegepublications.co.uk/aiml/?00008 Trvalý link http://hdl.handle.net/11104/0264286 Název souboru Staženo Velikost Komentář Verze Přístup a0465841.pdf 6 7.8 MB Vydavatelský postprint vyžádat 0465841.pdf 8 440.5 KB Autorský preprint povolen
Počet záznamů: 1