Couverture : Open Library
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Résumé
Languages of propositional modal logic are propositional languages to which sentential operators (usually called modalities or modal operators) have been added.
Détails de l'édition
- ISBN-13
- 9780521802000
- ISBN-10
- 0521802008
- EAN
- 9780521802000
- Éditeur
- Cambridge university press (Cambridge)
- Date de publication
- 1 janvier 2001
- Langue
- eng
- Pages
- 576
- Dimensions
- 24 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language BnF Catalogue général · 23 juillet 2026
- page_count Open Library · 1 août 2026
- publication_date BnF Catalogue général · 23 juillet 2026
- summary Open Library · 1 août 2026
- title Open Library · 1 août 2026