Fengkui Ju

31 papers B 1C 1Journal 19Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Representation theorems for actual and alpha powers over two-agent general concurrent game frames.
CoRR
Zixuan Chen, Fengkui Ju, Thomas Ågotnes
2026 J jnl
Seven kinds of equivalent models for generalized coalition logics.
Inf. Comput.
Zixuan Chen, Fengkui Ju
2025 J jnl
A minimal coalition logic.
J. Log. Comput.
Yinfeng Li, Fengkui Ju
2025 J jnl
Completeness of two fragments of a logic for conditional strategic reasoning.
Log. J. IGPL
Yinfeng Li, Fengkui Ju
2025 — conf
Each of Those Eight Coalition Logics is Also Determined by Four Other Kinds of Models.
CLAR
Zixuan Chen, Fengkui Ju
2025 J jnl
Each of those eight coalition logics is also determined by six other kinds of models.
CoRR
Zixuan Chen, Fengkui Ju
2025 — conf
Next-Time Coalition Logic.
LORI
Thomas Ågotnes, Fengkui Ju
2024 J jnl
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time.
Stud Logica
Fengkui Ju
2024 J jnl
A minimal coalition logic.
CoRR
Yinfeng Li, Fengkui Ju
2024 J jnl
Completeness of coalition logics with seriality, independence of agents, or determinism.
CoRR
Yinfeng Li, Fengkui Ju
2024 J jnl
Completeness of two fragments of a logic for conditional strategic reasoning.
CoRR
Yinfeng Li, Fengkui Ju
2024 J jnl
Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism.
CoRR
Fengkui Ju
2023 J jnl
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update.
J. Log. Lang. Inf.
Fengkui Ju
2023 C conf
Multi-agent logic for reasoning about duties and powers in private law.
ICAIL
Tianwen Xu, Fengkui Ju
2023 — conf
Normative Properties of Sequential Actions.
DEON
Fengkui Ju, Karl Nygren
2022 J jnl
A Logic for Conditional Local Strategic Reasoning.
J. Log. Lang. Inf.
Valentin Goranko, Fengkui Ju
2022 J jnl
A logical theory for conditional weak ontic necessity based on context update.
CoRR
Fengkui Ju
2022 J jnl
A logical theory for strong and weak ontic necessities in branching time.
CoRR
Fengkui Ju
2021 J jnl
A Logic for Conditional Local Strategic Reasoning.
CoRR
Valentin Goranko, Fengkui Ju
2021 J jnl
Modeling legal conflict resolution based on dynamic logic.
J. Log. Comput.
Fengkui Ju, Karl Nygren, Tianwen Xu
2019 J jnl
A temporal dynamic deontic logic.
J. Log. Comput.
Fengkui Ju, Jan van Eijck
2019 — conf
Towards a Logic for Conditional Local Strategic Reasoning.
LORI
Valentin Goranko, Fengkui Ju
2018 B conf
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle.
Advances in Modal Logic
Fengkui Ju, Gianluca Grilletti, Valentin Goranko
2018 J jnl
Commands changing obligations 1.
J. Log. Comput.
Fengkui Ju, Li Liang
2018 — conf
S5 as a Deontic Logic.
DEON
Fengkui Ju
2017 — conf
A Dynamic Approach to Temporal Normative Logic.
LORI
Fengkui Ju, Gianluca Grilletti
2017 J jnl
A Dynamic Solution to the Puzzle of Sea Battle.
CoRR
Fengkui Ju, Gianluca Grilletti
2016 — conf
To Do Something Else.
DEON
Fengkui Ju, Jan van Eijck
2015 — conf
Trace Semantics for IPDL.
LORI
Fengkui Ju, Nana Cui, Shujiao Li
2013 — conf
A Dynamic Deontic Logic Based on Histories.
LORI
Fengkui Ju, Li Liang
2011 — conf
Update Semantics for Imperatives with Priorities.
LORI
Fengkui Ju, Fenrong Liu