Počet záznamů: 1
Propositional Dynamic Logic with Belnapian Truth Values
SYS 0465841 LBL 01000a^^22220027750^450 005 20240103213007.3 014 $a 85019485359 $2 SCOPUS 100 $a 20161123d m y slo 03 ba 101 $a eng 102 $a GB 200 1-
$a Propositional Dynamic Logic with Belnapian Truth Values 215 $a 17 s. $c P 300 $a UT WOS / EID Scopus není v RIV 463 -1
$1 001 cav_un_epca*0465840 $1 010 $a 978-1-84890-201-5 $1 200 1 $a Advances in Modal Logic $h 11 $v S. 503-519 $1 210 $a London $c College Publications $d 2016 $1 702 1 $4 340 $a Beklemishev $b L. $1 702 1 $4 340 $a Demri $b S. $1 702 1 $4 340 $a Máté $b A. 610 $a Belnap-Dunn logic 610 $a four-valued logic 610 $a propositional dynamic logic 700 -1
$3 cav_un_auth*0336595 $a Sedlár $b Igor $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $T Ústav informatiky AV ČR, v. v. i. 856 $u https://www.collegepublications.co.uk/aiml/?00008
Počet záznamů: 1