Search Results for author: Fengkui Ju

Found 4 papers, 0 papers with code

A minimal coalition logic

no code implementations17 Mar 2024 Yinfeng Li, Fengkui Ju

The third one is determinism, that is, the grand coalition's joint actions always have a unique outcome.

A logical theory for strong and weak ontic necessities in branching time

no code implementations25 Aug 2022 Fengkui Ju

The weak ontic necessity quantifies over a domain of expected timelines, determined by the agent's system of ontic rules.

A logical theory for conditional weak ontic necessity based on context update

no code implementations25 Aug 2022 Fengkui Ju

When evaluating the conditional weak ontic necessity with respect to a context, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context.

A Logic for Conditional Local Strategic Reasoning

no code implementations11 Feb 2021 Valentin Goranko, Fengkui Ju

We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives.

Cannot find the paper you are looking for? You can Submit a new open access paper.