Modal Logic

e-books in this category

Modal Logic of Strict Necessity and Possibility
by Evgeni Latinov - OTexts , 2014
The notions of strict, logical necessity and possibility and problems connected with them are treated in the book with the resources of modal symbolic logic. In general a balance is struck between philosophical and technical treatment of the issues.
(740 views)

Handbook of Modal Logic
by Patrick Blackburn, Johan van Benthem, Frank Wolter , 2006
This Handbook documents the current state of modal logic, a lively area of logical research which was born in philosophy, but which has since made its way into mathematics, linguistics, computer science, AI, and even economic game theory.
(4264 views)

Coalgebras and Modal Logic
by Alexander Kurz - ESSLLI , 2002
One of the achievements of the theory of coalgebras is to make clear that some seemingly different areas are related by duality. This text explains this duality. Recent research lead to the insight that modal logic is dual to equational logic.
(3755 views)

Basic Concepts in Modal Logic
by Edward N. Zalta - Stanford University , 2011
This is a text for dedicated undergraduates with no previous experience in modal logic. The book should prepare people for reading advanced texts in modal logic, such as Goldblatt, Chellas, Hughes and Cresswell, and van Benthem.
(5748 views)

Algebraic Tools for Modal Logic
by Mai Gehrke, Yde Venema - ESSLLI , 2001
Apart from giving a general introduction to the fundamental ideas and methods of applying algebra in logic, the purpose of this text is to present recent developments from algebra as well as modal logic, in an integrated format.
(4003 views)

Introduction to Modal Logic
by Gary Hardegree - UMass Amherst , 2009
Contents: Basic Concepts; Classical SL; Absolute Modal Logic - System L; Relative Modal Logic - System K; Systems Between K and L; Modal Predicate Logic; General First-Order Logic; First-Order Modal Logic; First-Order Modal Logic with Actuality...
(6667 views)

Mathematics of Modality
by Robert Goldblatt - CSLI Publications , 1993
Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements. This volume collects the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals.
(6500 views)