Connectez-vous pour ajouter ce livre à votre bibliothèque.
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Patrick Blackburn, Maarten de Rijke, Yde Venema
Autre
Première publication : 2001
Résumé
Languages of propositional modal logic are propositional languages to which sentential operators (usually called modalities or modal operators) have been added.
