01832nam0 22004693i 450 VAN0029643820250925113634.439N978940172798320250710d1996 |0itac50 baengNL|||| |||||i e bcrProof Theory of Modal Logicedited by Heinrich WansingDordrechtSpringerKluwer1996x, 317 p.24 cm001VAN002963312001 Applied Logic Series210 DordrechtKluwer1996200B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFAutomated deductionKW:KKnowledgeKW:KKnowledge representationsKW:KLogicKW:KModal LogicKW:KPredicate logicKW:KProof TheoryKW:KProofsKW:KSequent CalculusKW:KNLDordrechtVANL000068WansingHeinrichVANV080727340Kluwer <editore>VANV108116650Springer <editore>VANV108073650ITSOL20250926RICAhttps://doi.org/10.1007/978-94-017-2798-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00296438BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12148 08eMF12148 20250924 Proof Theory of Modal Logic4402775UNICAMPANIA