The following pages link to Guarded fragments with constants (Q2567342):
Displayed 4 items.
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- Guarded fragments with constants (Q2567342) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)