Showing math.LOShow all
3 papers · 1 filter
math.LO2021
Decompositions of Stratified Institutions
Răzvan Diaconescu
The theory of stratified institutions is a general axiomatic approach to model theories where the satisfaction is parameterised by states of the models. In this paper we further de…
math.LO2019
Introducing H, an institution-based formal specification and verification language
Răzvan Diaconescu
This is a short survey on the development of the formal specification and verification language H with emphasis on the scientific part. H is a modern highly expressive language sol…
math.LO2016
Implicit Kripke Semantics and Ultraproducts in Stratified Institutions
Răzvan Diaconescu
We propose stratified institutions (a decade old generalised version of the theory of institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal log…