Pages that link to "Item:Q1682285"
From MaRDI portal
The following pages link to Birkhoff style calculi for hybrid logics (Q1682285):
Displayed 4 items.
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Hybridisation of Institutions in HETS (Tool Paper). (Q5875358) (← links)