Počet záznamů: 1
Propositional Dynamic Logic with Belnapian Truth Values
- 1.
SYSNO ASEP 0465841 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku 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. - London : College Publications, 2016 / Beklemishev L. ; Demri S. ; Máté A. - ISBN 978-1-84890-201-5 Rozsah stran s. 503-519 Poč.str. 17 s. Forma vydání Tištěná - P Akce AIML 2016. Advances in Modal Logic Datum konání 30.08.2016 - 02.09.2016 Místo konání Budapest Země HU - Maďarsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova Belnap-Dunn logic ; four-valued logic ; propositional dynamic logic Vědní obor RIV BA - Obecná matematika CEP GBP202/12/G061 GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 EID SCOPUS 85019485359 Anotace We introduce BPDL, a combination of propositional dynamic logic PDL with the basic four-valued modal logic BK studied by Odintsov and Wansing ('Modal logics with Belnapian truth values', J. Appl. Non-Class. Log. 20, 279–301 (2010)). We modify the standard arguments based on canonical models and filtration to suit the four-valued context and prove weak completeness and decidability of BPDL. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2017
Počet záznamů: 1