Pages that link to "Item:Q2826029"
From MaRDI portal
The following pages link to Quasi-varieties and initial semantics for hybridized institutions (Q2826029):
Displaying 12 items.
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- On quasi-varieties of multiple valued logic models (Q2996230) (← links)
- Implicit Kripke semantics and ultraproducts in stratified institutions (Q3133175) (← links)
- Forcing and Calculi for Hybrid Logics (Q5133981) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Hybridisation of Institutions in HETS (Tool Paper). (Q5875358) (← links)