Pages that link to "Item:Q2841956"

The following pages link to On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (Q2841956):

Displaying 6 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)
• An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ (Q6104768) (← links)