# Coalgebras and Modal Logic by Alexander Kurz

Coalgebras and Modal Logic
by

Publisher: ESSLLI
Number of pages: 100

Description:
Whereas algebras are used to model abstract data types, coalgebras are used to model dynamic, state based systems. One of the achievements of the theory of coalgebras is to make clear that these seemingly different areas are related by duality. The aim of the course is to explain this duality and to develop some consquences. In particular, recent research lead to the insight that modal logic is dual to equational logic.

(1.7MB, PDF)

## Similar books

Algebraic Tools for Modal Logic
by - 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.
(5414 views)
Basic Concepts in Modal Logic
by - Stanford University
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.
(6608 views)
Mathematics of Modality
by - CSLI Publications
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.
(7331 views)
Modal Logic of Strict Necessity and Possibility
by - OTexts
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.
(1525 views)