01884nam0 22004933i 450 VAN0029762020251009020040.780N978940115694320250901d1997 |0itac50 baengNL|||| |||||i e bcrMulti-Dimensional Modal Logicby Maarten Marx and Yde VenemaDordrechtSpringerKluwer1997xiii, 239 p.24 cm001VAN002963312001 Applied Logic Series210 DordrechtKluwer1996403-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>VANV108073650ITSOL20251010RICAhttps://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 Logic4429006UNICAMPANIA01678nas 2200541-- 450 991089562290332120240918213018.02540-3753(DE-599)ZDB2846433-3(CKB)110978977731467(CONSER)---72620598-(EXLCZ)9911097897773146720751007b19712015 --- bfretxtrdacontentcrdamediacrrdacarrierLa Banque des motsParisPresses Universitaires de France1 online resourcePrint version: La Banque des mots. 0067-3951 (DLC) 72620598 (OCoLC)1680873 BANQUE DES MOTSBanq. motsFrench languageTerms and phrasesPeriodicalsFrançais (Langue)Mots et locutionsPériodiquesFrench languagefast(OCoLC)fst00934333TerminologiegttFransgttFrench languageTerms and phrasesnliTERMINOLOGYunbistFRENCH LANGUAGEunbistPeriodicals.fastDictionaries.fastPeriodicals.lcgftFrench languageFrançais (Langue)Mots et locutionsFrench language.Terminologie.Frans.French languageTERMINOLOGY.FRENCH LANGUAGE.Conseil international de la langue française.JOURNAL9910895622903321exl_impl conversionLa Banque des mots4234796UNINA