01524nam0 2200373 i 450 VAN010426420220224094230.622N978-3-7643-8504-020151217d2014 |0itac50 baengDE|||| |||||Kripke’s worldsan introduction to modal logics via tableauxOlivier Gasquet ... [et al.]BerlinSpringer2014XV, 198 p.ill.24 cm001VAN01039512001 Studies in Universal Logic210 Basel [etc.]BirkhäuserVAN0241378Kripke’s worlds140995903-XXMathematical logic and foundations [MSC 2020]VANC019750MF03BxxGeneral logic [MSC 2020]VANC024425MFEpistemic logicsKW:KModal logicsKW:KTableau methodKW:KTemporal logicsKW:KBerlinVANL000066GasquetOlivierVANV081312Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-3-7643-8504-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN0104264BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 4379 15EB 4379 20191106 Kripke’s worlds1409959UNICAMPANIA