2 citations · 5 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
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★ 2 cited
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions
Domenico Cantone, Cristiano Longo
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers an…
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,…