00995nam a22002531i 450099100370319970753620040528085012.0040802s19uu fr a||||||||||||||||fre b13114542-39ule_instARCHE-106715ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.194Malebranche, Nicolas :de457354Pages choisies /Malebranche ; avec une notice biographique ... par Ghyslaine de VriesParis :Larousse,[19..]104 p., 1 c. di tav. :ill. ;17 cmClassiques LarousseVries, Ghyslaine :de.b1311454202-04-1405-08-04991003703199707536LE002 Fondo Giudici Busta 43/01512002000311405le002C. 1-E0.00-no 00000.i1374938905-08-04Pages choisies307908UNISALENTOle00205-08-04ma -frefr 0102274nam0 22005173i 450 VAN027766320240715115743.516N978303109706520240611d2022 |0itac50 baengCH|||| |||||Inquisitive LogicConsequence and Inference in the Realm of QuestionsIvano CiardelliChamSpringer2022xx, 272 p.ill.24 cm001VAN01031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer6003-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>VANV108073650ITSOL20240719RICAhttps://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-CE0120VAN08NVAN0277663BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-Book 8765 08eMF8765 20240618 Inquisitive Logic3091255UNICAMPANIA