01942nam0 22005053i 450 VAN0029762020260324120903.849N978940115694320250901d1997 |0itac50 baengNL|||| |||||i e bcrMulti-dimensional modal logicby Maarten Marx and Yde VenemaDordrechtSpringerKluwer1997xiii, 239 p.24 cm001VAN002963312001 Applied Logic Series210 DordrechtKluwer1996-2009.403-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MFArtificial IntelligenceKW:KComputersKW:KFormalismKW:KLinguisticsKW:KLogicKW:KModal LogicKW:KModelsKW:KPhilosophyKW:KPredicate logicKW:KSemanticsKW:KNLDordrechtVANL000068MarxMaartenVANV253291223519VenemaYdeVANV041041310429Kluwer <editore>VANV108116650Springer <editore>VANV108073650Venema, Y.Venema, YdeVANV260282ITSOL20260327RICAhttps://doi.org/10.1007/978-94-011-5694-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00297620BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12454 08eMF12454 20251006 Multi-Dimensional Modal Logic4429006UNICAMPANIA