TY - BOOK ID - 18126527 TI - First steps in modal logic PY - 1994 SN - 052146482X 9780521464826 9780511983382 9780521057936 PB - Cambridge Cambridge University Press DB - UniCat KW - Modality (Logic). KW - Modalité (Logique) KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - Modality (Logic) KW - 681.3*F41 KW - 681.3*I23 KW - Modal logic KW - Logic KW - Nonclassical mathematical logic KW - Bisimulation KW - Logique KW - Modalité (logique) KW - Modalité (Logique) KW - Logique. UR - https://www.unicat.be/uniCat?func=search&query=sysid:18126527 AB - 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. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided. ER -