Logo

Coalgebras and Modal Logic by Alexander Kurz

Small book cover: Coalgebras and Modal Logic

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.

Home page url

Download or read it online for free here:
Download link
(1.7MB, PDF)

Similar books

Book cover: Handbook of Modal LogicHandbook of Modal Logic
by
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.
(5272 views)
Book cover: Introduction to Modal LogicIntroduction to Modal Logic
by - 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...
(7070 views)
Book cover: Modal Logic of Strict Necessity and PossibilityModal 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.
(1460 views)
Book cover: Mathematics of ModalityMathematics 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.
(7260 views)