774867
9780521464826
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.Popkorn, Sally is the author of 'First Steps in Modal Logic' with ISBN 9780521464826 and ISBN 052146482X.
[read more]