Pages that link to "Item:Q2841956"
From MaRDI portal
The following pages link to On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic (Q2841956):
Displaying 5 items.
- The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087) (← links)
- Web ontology representation and reasoning via fragments of set theory (Q2360184) (← links)
- (Q3384163) (← links)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) (← links)
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) (← links)
