LEADER 01524nam0 2200373 i 450 001 VAN0104264 005 20220224094230.622 017 70$2N$a978-3-7643-8504-0 100 $a20151217d2014 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aKripke?s worlds$ean introduction to modal logics via tableaux$fOlivier Gasquet ... [et al.] 210 $aBerlin$cSpringer$d2014 215 $aXV, 198 p.$cill.$d24 cm 410 1$1001VAN0103951$12001 $aStudies in Universal Logic$1210 $aBasel [etc.]$cBirkhäuser 500 1$3VAN0241378$aKripke?s worlds$91409959 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF 610 $aEpistemic logics$9KW:K 610 $aModal logics$9KW:K 610 $aTableau method$9KW:K 610 $aTemporal logics$9KW:K 620 $dBerlin$3VANL000066 702 1$aGasquet$bOlivier$3VANV081312 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-7643-8504-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN0104264 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 4379 $e15EB 4379 20191106 996 $aKripke?s worlds$91409959 997 $aUNICAMPANIA