First steps in modal logic
Auteur :
Popkorn, Sally
Éditeur :
Cambridge University Press
ISBN :
9780521057936
Date de publication :
28 janv. 2008
Dimensions :
22,8 x 15,3 x 2,0 cm
Poids :
542 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory.