Pages that link to "Item:Q2373712"
From MaRDI portal
The following pages link to Ultraproducts and possible worlds semantics in institutions (Q2373712):
Displaying 9 items.
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- Modalities for an allegorical conceptual data model (Q2345053) (← links)
- The Algebra of Opposition (and Universal Logic Interpretations) (Q5258966) (← links)
- CafeOBJ Traces (Q5403067) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
- Hybridisation of Institutions in HETS (Tool Paper). (Q5875358) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
