The following pages link to Hybridizing concept languages (Q1286394):
Displaying 9 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)
- Hybrid terms and sentences (Q1313083) (← links)
- Games for hybrid logic. From semantic games to analytic calculi (Q2148784) (← links)
- Reasoning with nominal schemas through absorption (Q2352498) (← links)
- Action language Hybrid AL (Q2401950) (← links)
- The expressibility of fragments of hybrid graph logic on finite digraphs (Q2446549) (← links)
- (Q4012243) (← links)