Date: | 2017, March 1 |
Author: | Günther, Stephan |
Title: | Stratified Institutions |
In this talk we'll introduce the concept of Stratified Institutions. Stratified Institutions extend regular Institutions with Stratifications, which mathematically formalize the notion of model states. The notion of stratification will be formally defined and the example of Modal Logic will be used to show how stratifications naturally generalize concepts used, when defining an Institution for a logic with stateful models. Finally we'll present a general result showing which constraints have to be observed by a stratification in order to recover a regular Institution from a stratified one.