Pages that link to "Item:Q3298278"
From MaRDI portal
The following pages link to Algebraic Semantics for Hybrid Logics (Q3298278):
Displaying 13 items.
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Combining algebraizable logics (Q1815433) (← links)
- Algebraic semantics for quasi-Nelson logic (Q2303609) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Higher-order syntax and saturation algorithms for hybrid logic (Q2867945) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- (Q3719823) (← links)
- (Q4715441) (← links)
- (Q5240591) (← links)
- Algebraization of Hybrid Logic with Binders (Q5459188) (← links)
- A Hybrid Intuitionistic Logic: Semantics and Decidability (Q5488610) (← links)
- (Q5603860) (← links)
- Recent Trends in Algebraic Development Techniques (Q5704002) (← links)