The following pages link to Hybrid completeness (Q4210769):
Displayed 8 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)
- Many-sorted hybrid modal languages (Q2035658) (← 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)