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):
Displaying 4 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)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
