01703nam0 2200409 i 450 VAN0005215820260324120435.14805-215-2714-7978-05-215-2714-920060913d2001 |0itac50 baengGB|||| |||||i e nncModal logicPatrick Blackburn, Maarten de Rijke, Yde VenemaCambridgeCambridge University2001XXII, 554 p.23 cm001VAN000500592001 Cambridge tracts in theoretical computer science210 CambridgeCambridge university5303B45Modal logic (including the logic of norms) [MSC 2020]VANC024404MFCambridgeVANL000024BlackburnPatrickVANV041040310427RijkeMaarten deVANV041042310428VenemaYdeVANV041041310429Cambridge University <editore>VANV107986650Blackburn, P.Blackburn, PatrickVANV260278Rijke, M. deRijke, Maarten deVANV260280de Rijke, MaartenRijke, Maarten deVANV260281Venema, Y.Venema, YdeVANV260282ITSOL20260327RICA/sebina/repository/catalogazione/documenti/Blackburn et al. - Modal logic.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00052158BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0403 08 7488 I 20061004 Modal logic720222UNICAMPANIA