Boxes and Diamonds

An Open Introduction to Modal Logic

• Author(s): Richard Zach,
• Publisher: Independently Published
• Pages: 268
• ISBN_10: 1077321384
  ISBN_13: 9781077321380
  
• Language: en
• Categories: Mathematics / Logic ,

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