Modality in open institutions with concrete syntax

MaRDI QIDQ5414299zbMATH OpenFDO

Authors Răzvan Diaconescu, Petros Stefaneas

Publication date 2 May 2014

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Recommendations

• Institutions: abstract model theory for specification and programming
• Monadic extensions of institutions
• Ultraproducts and possible worlds semantics in institutions
• scientific article; zbMATH DE number 3997131
• scientific article; zbMATH DE number 3864486

Cited in

(3)

• Ultraproducts and possible worlds semantics in institutions
• Abstract Beth definability in institutions
• Abstract categorical logic

This page was built for publication: Modality in open institutions with concrete syntax

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5414299)