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