Boxes and Diamonds: An Open Introduction to Modal Logic (Open Logic Project Textbooks)

Zach, Richard

ISBN 10: 1077321384 / ISBN 13: 9781077321380

Published by Independently published, 2019

About this Item

Fast Free Shipping â Good condition book with a firm cover and clean, readable pages. Shows normal use, including some light wear or limited notes highlighting, yet remains a dependable copy overall. Supplemental items like CDs or access codes may not be included.

Seller Inventory # GWV.1077321384.G

Bibliographic Details

• Title: Boxes and Diamonds: An Open Introduction to Modal Logic (Open Logic Project Textbooks)
• Publisher: Independently published
• Publication Date: 2019
• Language: English
• ISBN 10: 1077321384
• ISBN 13: 9781077321380
• Binding: Soft cover
• Condition: good

About this title

Synopsis

A textbook on modal and other intensional logics. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals. It is based on the Open Logic Project and available for free download at openlogicproject.org.

About the Author

Richard Zach is Professor of Philosophy at the University of Calgary, Canada. He works in logic, history of analytic philosophy, and the philosophy of mathematics. In logic, his main interests are non-classical logics and proof theory. He has also written on the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. He has held visiting appointments at the University of California, Irvine, McGill University, and the University of Technology, Vienna.