02239nam0 22005173i 450 VAN0029838720251031112627.462N978940171280420250917d1998 |0itac50 baengNL|||| |||||i e bcrDisplaying Modal LogicHeinrich WansingDordrechtSpringerKluwer1998xi, 252 p.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Kluwer ; [poi] Springer1997-303-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B44Temporal logic [MSC 2020]VANC036695MF03B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MF03B47Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020]VANC037932MF03B53Paraconsistent logics [MSC 2020]VANC033813MF03F03Proof theory, general (including proof-theoretic semantics) [MSC 2020]VANC023705MFCut-elimination theoremKW:KExtensionsKW:KLogicKW:KModal LogicKW:KNonmonotonic reasoningKW:KPredicate logicKW:KProofsKW:KSemanticsKW:KSequent CalculusKW:KNLDordrechtVANL000068WansingHeinrichVANV080727714563Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20251107RICAhttps://doi.org/10.1007/978-94-017-1280-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00298387BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12743 08eMF12743 20251024 Displaying Modal Logic4435267UNICAMPANIA