Modal Logic of Strict Necessity and Possibility
by Evgeni Latinov
Publisher: OTexts 2014
Number of pages: 264
The notions of strict, logical necessity and possibility and philosophical and logical problems connected with them are treated in the book with the resources of modal symbolic logic. No preliminary knowledge of logic is assumed. In general a balance is struck between philosophical and technical treatment of the issues.
Home page url
Download or read it online for free here:
by Gary Hardegree - UMass Amherst
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...
by Alexander Kurz - ESSLLI
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.
by Patrick Blackburn, Johan van Benthem, Frank Wolter
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.
by Mai Gehrke, Yde Venema - ESSLLI
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.