Pages that link to "Item:Q4943858"
From MaRDI portal
The following pages link to Complexity Results for First-Order Two-Variable Logic with Counting (Q4943858):
Displayed 13 items.
- A description logic based situation calculus (Q604908) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- The guarded fragment with transitive guards (Q1877098) (← links)
- One-variable logic meets Presburger arithmetic (Q2007734) (← links)
- Data-complexity of the two-variable fragment with counting quantifiers (Q2389348) (← links)
- A family of dynamic description logics for representing and reasoning about actions (Q2392414) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- Complexity of the two-variable fragment with counting quantifiers (Q2567347) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- CTL Model-Checking with Graded Quantifiers (Q3540061) (← links)
- Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)