Update Semantics for Imperatives with Priorities. - Fengkui Ju; Fenrong Liu (LORI, 2011)

A Dynamic Deontic Logic Based on Histories. - Fengkui Ju; Li Liang (LORI, 2013)

Trace Semantics for IPDL. - Fengkui Ju; Nana Cui; Shujiao Li (LORI, 2015)

To Do Something Else. - Fengkui Ju; Jan van Eijck (DEON, 2016)

A Dynamic Approach to Temporal Normative Logic. - Fengkui Ju; Gianluca Grilletti (LORI, 2017)

A Dynamic Solution to the Puzzle of Sea Battle. - Fengkui Ju; Gianluca Grilletti (CoRR, 2017)

A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. - Fengkui Ju; Gianluca Grilletti; Valentin Goranko (Advances in Modal Logic, 2018)

S5 as a Deontic Logic. - Fengkui Ju (DEON, 2018)

Commands changing obligations 1. - Fengkui Ju; Li Liang (J. Log. Comput., 2018)

Towards a Logic for Conditional Local Strategic Reasoning. - Valentin Goranko; Fengkui Ju (LORI, 2019)

A temporal dynamic deontic logic. - Fengkui Ju; Jan van Eijck (J. Log. Comput., 2019)

Modeling legal conflict resolution based on dynamic logic. - Fengkui Ju; Karl Nygren; Tianwen Xu (J. Log. Comput., 2021)

A logical theory for strong and weak ontic necessities in branching time. - Fengkui Ju (CoRR, 2022)

A Logic for Conditional Local Strategic Reasoning. - Valentin Goranko; Fengkui Ju (J. Log. Lang. Inf., 2022)

Normative Properties of Sequential Actions. - Fengkui Ju; Karl Nygren (DEON, 2023)

Multi-agent logic for reasoning about duties and powers in private law. - Tianwen Xu; Fengkui Ju (ICAIL, 2023)

A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update. - Fengkui Ju (J. Log. Lang. Inf., 2023)

A minimal coalition logic. - Yinfeng Li; Fengkui Ju (CoRR, 2024)

Completeness of two fragments of a logic for conditional strategic reasoning. - Yinfeng Li; Fengkui Ju (CoRR, 2024)

Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism. - Fengkui Ju (CoRR, 2024)

Completeness of coalition logics with seriality, independence of agents, or determinism. - Yinfeng Li; Fengkui Ju (CoRR, 2024)

A Logical Theory for Conditional Weak Ontic Necessity in Branching Time. - Fengkui Ju (Stud Logica, 2024)

Each of Those Eight Coalition Logics is Also Determined by Four Other Kinds of Models. - Zixuan Chen; Fengkui Ju (CLAR, 2025)

Each of those eight coalition logics is also determined by six other kinds of models. - Zixuan Chen; Fengkui Ju (CoRR, 2025)