The following pages link to Hybrid completeness (Q4210769):
Displaying 12 items.
- Completeness results for memory logics (Q408552) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- Hybrid languages (Q1909610) (← links)
- Many-sorted hybrid modal languages (Q2035658) (← links)
- On the width of hybrid zones (Q2464846) (← links)
- Hybrid logics: Characterization, interpolation and complexity (Q2758042) (← links)
- Completeness Results for Memory Logics (Q3605517) (← links)
- Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
- A Completeness Result for Relation Algebra with Binders (Q4916210) (← links)
- Stream fusion, to completeness (Q5370864) (← links)