Propositional Dynamic Logic with Belnapian Truth Values

Počet záznamů: 1

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