Počet záznamů: 1  

Propositional Dynamic Logic with Belnapian Truth Values

  1. SYS0465841
    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  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.