The following pages link to Coalgebraic Hybrid Logic (Q3617726):
Displaying 12 items.
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- Sequent Systems for Lewis’ Conditional Logics (Q2915082) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Coalgebraic Trace Semantics via Forgetful Logics (Q2948557) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- (Q4029593) (← links)
- Coalgebraic Announcement Logics (Q5327426) (← links)
- Global Caching for Coalgebraic Description Logics (Q5747750) (← links)
