Modality in open institutions with concrete syntax
Răzvan Diaconescu, Petros Sotirios Stefaneas · JAIST Repository · 1997
Institutions give an algebraic answer to the question what is a logic?. In our paper we internalise “possible worlds semantics” and modal satisfaction to institutions with open formulae (called open institutions) and fullfiling certain mild technical conditions. Modalities then can be defined on “top” of any such institution proving that modal extensions are not a privilege of certain logics like the first order one but can be generated over a much wider variety of institutions.