The following pages link to Hybridizing concept languages (Q1286394):
Displayed 6 items.
- Reichenbach, Prior and hybrid tense logic (Q516424) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Model checking for hybrid logic (Q1047796) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- Reasoning with nominal schemas through absorption (Q2352498) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)