Quasi-varieties and initial semantics for hybridized institutions

DOI10.1093/logcom/ext016zbMath1353.03083OpenAlexW2163349468MaRDI QIDQ2826029

Răzvan Diaconescu

Publication date: 7 October 2016

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/ext016

zbMATH Keywords

hybrid logicquasi-varietiesinstitution theoryinitial semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Abstract model theory (03C95)

Related Items (8)

Foundations of logic programming in hybrid logics with user-defined sharing ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Birkhoff style calculi for hybrid logics ⋮ Compositional meaning in logic ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Hybridisation of Institutions in HETS (Tool Paper). ⋮ CafeOBJ Traces ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

This page was built for publication: Quasi-varieties and initial semantics for hybridized institutions