Boxes and Diamonds
An Open Introduction to Modal Logic
In print
Ebook
Audiobook
Library
We may earn a commission. Learn more.
Boxes and Diamonds An Open Introduction to Modal Logic
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.
No reviews yet.
Be the first to write one.
No highlights yet.
Be the first to share one.