First Steps in Modal Logic

First Steps in Modal Logic PDF Author: Sally Popkorn
Publisher: Cambridge University Press
ISBN: 052146482X
Category : Mathematics
Languages : en
Pages : 340

Get Book

Book Description
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.