02284nam0 22005173i 450 VAN0027766320240806101548.627N978303109706520240611d2022 |0itac50 baengCH|||| |||||Inquisitive LogicConsequence and Inference in the Realm of QuestionsIvano CiardelliChamSpringer2022xx, 272 p.ill.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer1997-6003-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B42Logics of knowledge and belief (including belief change) [MSC 2020]VANC033625MF03B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MFConnections with dependence logicKW:KConnections with intuitionistic logicKW:KDependence LogicKW:KHow classical logic can be made inquisitiveKW:KInformation SemanticsKW:KInformation TypesKW:KInquisitive LogicKW:KIntuitionistic LogicKW:KLogic of DependencyKW:KLogic of QuestionsKW:KProofs-as-ProgramsKW:KQuestions in first-order logicKW:KQuestions in modal logicKW:KQuestions in propositional logicKW:KReasoning with questionsKW:KRole of questions in logicKW:KCHChamVANL001889CiardelliIvanoVANV230155997935Springer <editore>VANV108073650ITSOL20241115RICAhttps://doi.org/10.1007/978-3-031-09706-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00277663BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 8765 08eMF8765 20240618 Inquisitive Logic3091255UNICAMPANIA