*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
About The Book
Description
Author
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.