Pages that link to "Item:Q5172130"
From MaRDI portal
The following pages link to First-order hybrid logic: introduction and survey (Q5172130):
Displaying 13 items.
- Axiomatizing hybrid logic using modal logic (Q631084) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Natural deduction for first-order hybrid logic (Q1777372) (← links)
- On the expressiveness of TPTL and MTL (Q2266987) (← links)
- Rigid first-order hybrid logic (Q2303580) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- Bringing them all together (Q2772879) (← links)
- Abstraction and probabilities for hybrid logics (Q2849846) (← links)
- Simple cut elimination proof for hybrid logic (Q2987759) (← links)
- Adding Intensional Machinery to Hybrid Logic (Q3520240) (← links)
- Representation, reasoning, and relational structures: a hybrid logic manifesto (Q4487266) (← links)
- Dynamic Reconfiguration via Typed Modalities (Q6488473) (← links)