1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 1 cited
On the satisfiability problem for a 3-level quantified syllogistic
Domenico Cantone, Marianna Nicolosi Asmundo
We show that a collection of three-sorted set-theoretic formulae, denoted TLQSR and which admits a restricted form of quantification over individual and set variables, has a solvab…
cs.LO2012★ 1 cited
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version)
Domenico Cantone, Marianna Nicolosi Asmundo
We introduce a multi-sorted stratified syllogistic, called 4LQSR, admitting variables of four sorts and a restricted form of quantification over variables of the first three sorts,…