Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, April 27
Author: Mossakowski, Till
Title: Institutions – Abstract Logical Systems for Computer Science


A large variety of different logical systems is in use for computer science, ranging from propositional logics, first-order logics, higher-order logics, modal and temporal logics, to process logics, database logics and more.
Institutions have been introduced by Goguen and Burstall to capture this variety with a common abstract notion of logical system. With institutions, a lot of notions and results (and also tools) can be generalised.


Back to the Oberseminar web page