LEADER 02239nam0 22005173i 450 001 VAN00298387 005 20251031112627.462 017 70$2N$a9789401712804 100 $a20250917d1998 |0itac50 ba 101 $aeng 102 $aNL 105 $a|||| ||||| 181 $ai$b e 182 $ab 183 $acr 200 1 $aDisplaying Modal Logic$fHeinrich Wansing 210 $aDordrecht$cSpringer$cKluwer$d1998 215 $axi, 252 p.$d24 cm 410 1$1001VAN00103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cKluwer ; [poi] Springer$d1997-$v3 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B44$xTemporal logic [MSC 2020]$3VANC036695$2MF 606 $a03B45$xModal logic (including the logic of norms) [MSC 2020]$3VANC024404$2MF 606 $a03B47$xSubstructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020]$3VANC037932$2MF 606 $a03B53$xParaconsistent logics [MSC 2020]$3VANC033813$2MF 606 $a03F03$xProof theory, general (including proof-theoretic semantics) [MSC 2020]$3VANC023705$2MF 610 $aCut-elimination theorem$9KW:K 610 $aExtensions$9KW:K 610 $aLogic$9KW:K 610 $aModal Logic$9KW:K 610 $aNonmonotonic reasoning$9KW:K 610 $aPredicate logic$9KW:K 610 $aProofs$9KW:K 610 $aSemantics$9KW:K 610 $aSequent Calculus$9KW:K 620 $aNL$dDordrecht$3VANL000068 700 1$aWansing$bHeinrich$3VANV080727$0714563 712 $aKluwer $3VANV108116$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20251107$gRICA 856 4 $uhttps://doi.org/10.1007/978-94-017-1280-4$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00298387 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 12743 $e08eMF12743 20251024 996 $aDisplaying Modal Logic$94435267 997 $aUNICAMPANIA