Number of the records: 1
Expressivity of Some Versions of APAL
SYS 0537043 LBL 01000a^^22220027750^450 005 20240103225046.1 014 $a 85098286184 $2 SCOPUS 017 $a 10.1007/978-3-030-65840-3_8 $2 DOI 100 $a 20210107d m y slo 03 ba 101 $a eng 102 $a CH 200 1-
$a Expressivity of Some Versions of APAL 215 $a 17 s. $c P 463 -1
$1 001 cav_un_epca*0534301 $1 010 $a 978-3-030-65839-7 $1 011 $a 0302-9743 $1 200 1 $a Dynamic Logic: New Trends and Applications $v S. 120-136 $1 210 $a Cham $c Springer $d 2020 $1 225 $a Lecture Notes in Computer Science $v 12569 $1 702 $a Martins $b M. A. $4 340 $1 702 1 $a Sedlár $b I. $4 340 610 $a Dynamic epistemic logic 610 $a Expressivity 610 $a Modal logic 700 -1
$3 cav_un_auth*0401923 $a van Ditmarsch $b H. $y FR $z K 701 -1
$3 cav_un_auth*0401924 $a Liu $b M. $y FR 701 -1
$3 cav_un_auth*0401925 $a Kuijer $b L. B. $y GB 701 -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.
Number of the records: 1