Propositional Dynamic Logic with Belnapian Truth Values

Počet záznamů: 1

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