Pages that link to "Item:Q5459188"
From MaRDI portal
The following pages link to Algebraization of Hybrid Logic with Binders (Q5459188):
Displaying 8 items.
- An algebraic generalization of Frege structures -- binding algebras (Q1274449) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Relation algebras with binders (Q2772881) (← links)
- Higher-order syntax and saturation algorithms for hybrid logic (Q2867945) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER (Q3577744) (← links)
- Algorithmic correspondence for hybrid logic with binder (Q5877706) (← links)