The following pages link to (Q4790403):
Displayed 9 items.
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- The guarded fragment with transitive guards (Q1877098) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Polynomial hierarchy graph properties in hybrid logic (Q2453580) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)
- Guarded Negation (Q5890544) (← links)
- Guarded Negation (Q5892612) (← links)