3 papers
cs.LO2025
Seven kinds of equivalent models for generalized coalition logics
Zixuan Chen, Fengkui Ju
Coalition Logic is an important logic in logical research on strategic reasoning. In two recent papers, Li and Ju argued that generally, concurrent game models, models of Coalition…
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…
cs.GT2021
A Logic for Conditional Local Strategic Reasoning
Valentin Goranko, Fengkui Ju
We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an ext…