01401nam0 2200325 i 450 VAN0005215820240806100459.10205-215-2714-7978-05-215-2714-920060913d2001 |0itac50 baengGB|||| |||||Modal 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]VANC024404MFCambridgeVANL000024BlackburnPatrickVANV041040310427De RijkeMaartenVANV041042310428VenemaYdeVANV041041310429Cambridge University <editore>VANV107986650ITSOL20250124RICA/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