Institutions – Abstract Logical Systems for Computer Science
Abstract:
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.