pith. sign in

Rosenthal

3 Pith papers cite this work. Polarity classification is still indexing.

3 Pith papers citing it

verdicts

UNVERDICTED 3

representative citing papers

Reasoning about Social Choice and Games in Monadic Fixed-Point Logic

cs.GT · 2019-07-22 · unverdicted · novelty 5.0

Monadic fixed-point logic with counting is proposed as a natural specification language for properties on improvement graphs in social choice and games, with an efficient model checking algorithm whose complexity depends on graph size.

citing papers explorer

Showing 3 of 3 citing papers.