Boxes and Diamonds: An Open Introduction to Modal Logic - Couverture souple

Livre 3 sur 5: Open Logic Project Textbooks

Zach, Richard

 
9781077321380: Boxes and Diamonds: An Open Introduction to Modal Logic

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.