Pages that link to "Item:Q5133981"
From MaRDI portal
The following pages link to Forcing and Calculi for Hybrid Logics (Q5133981):
Displaying 4 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Many-sorted hybrid modal languages (Q2035658) (← links)
- 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)