4 papers
Completeness of coalition logics with seriality, independence of agents, or determinism
Yinfeng Li, Fengkui Ju
Coalition Logic is a central logic in logical research on strategic reasoning. In a recent paper, Li and Ju argued that generally, models of Coalition Logic, concurrent game models…
A minimal coalition logic
Yinfeng Li, Fengkui Ju
Coalition Logic is an important logic in logical studies of strategic reasoning, whose models are concurrent game models. In this paper, first, we systematically discuss three assu…
Completeness of two fragments of a logic for conditional strategic reasoning
Yinfeng Li, Fengkui Ju
Classical logics for strategic reasoning, such as Coalition Logic and Alternating-time Temporal Logic, formalize absolute strategic reasoning about the unconditional strategic abil…
Rational Capability in Concurrent Games
Yinfeng Li, Emiliano Lorini, Munyque Mittelmann
We extend concurrent game structures (CGSs) with a simple notion of preference over computations and define a minimal notion of rationality for agents based on the concept of domin…