activity
20172023
most citedThe Satisfiability Problem for Boolean Set Theory with a Choice Correspondence

1 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

cs.LO2017★ 1 cited

The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence

Domenico Cantone, Alfio Giarlotta, Stephen Watson

Given a set U of alternatives, a choice (correspondence) on U is a contractive map c defined on a family Omega of nonempty subsets of U. Semantically, a choice c associates to each…

cs.LO2017

Extending rational choice behavior: The decision problem for Boolean set theory with a choice correspondence

Domenico Cantone, Alfio Giarlotta, Pietro Maugeri +1

Given the family of all nonempty subsets of a set of alternatives, a choice over is a function such that and for all…