2 papers
cs.LO2024
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…
cs.LO2024
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…