LEADER 02284nam0 22005173i 450 001 VAN00277663 005 20240806101548.627 017 70$2N$a9783031097065 100 $a20240611d2022 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aInquisitive Logic$eConsequence and Inference in the Realm of Questions$fIvano Ciardelli 210 $aCham$cSpringer$d2022 215 $axx, 272 p.$cill.$d24 cm 410 1$1001VAN00103150$12001 $aTrends in logic$estudia logica library$1210 $aBerlin [etc.]$cSpringer$d1997-$v60 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B42$xLogics of knowledge and belief (including belief change) [MSC 2020]$3VANC033625$2MF 606 $a03B45$xModal logic (including the logic of norms) [MSC 2020]$3VANC024404$2MF 610 $aConnections with dependence logic$9KW:K 610 $aConnections with intuitionistic logic$9KW:K 610 $aDependence Logic$9KW:K 610 $aHow classical logic can be made inquisitive$9KW:K 610 $aInformation Semantics$9KW:K 610 $aInformation Types$9KW:K 610 $aInquisitive Logic$9KW:K 610 $aIntuitionistic Logic$9KW:K 610 $aLogic of Dependency$9KW:K 610 $aLogic of Questions$9KW:K 610 $aProofs-as-Programs$9KW:K 610 $aQuestions in first-order logic$9KW:K 610 $aQuestions in modal logic$9KW:K 610 $aQuestions in propositional logic$9KW:K 610 $aReasoning with questions$9KW:K 610 $aRole of questions in logic$9KW:K 620 $aCH$dCham$3VANL001889 700 1$aCiardelli$bIvano$3VANV230155$0997935 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttps://doi.org/10.1007/978-3-031-09706-5$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 $aVAN00277663 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-Book 8765 $e08eMF8765 20240618 996 $aInquisitive Logic$93091255 997 $aUNICAMPANIA