Fengkui Ju

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 21

Top Topics

Order Of Magnitude Reasoning

Nonmonotonic Inference

Top Venues

J. Log. Comput.

Publications

Yinfeng Li, Fengkui Ju
A minimal coalition logic. CoRR (2024)
Fengkui Ju
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time. Stud Logica 112 (4) (2024)
Yinfeng Li, Fengkui Ju
Completeness of two fragments of a logic for conditional strategic reasoning. CoRR (2024)
Fengkui Ju
Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism. CoRR (2024)
Fengkui Ju, Karl Nygren
Normative Properties of Sequential Actions. DEON (2023)
Fengkui Ju
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update. J. Log. Lang. Inf. 32 (5) (2023)
Tianwen Xu, Fengkui Ju
Multi-agent logic for reasoning about duties and powers in private law. ICAIL (2023)
Fengkui Ju
A logical theory for conditional weak ontic necessity based on context update. CoRR (2022)
Valentin Goranko, Fengkui Ju
A Logic for Conditional Local Strategic Reasoning. J. Log. Lang. Inf. 31 (2) (2022)
Fengkui Ju
A logical theory for strong and weak ontic necessities in branching time. CoRR (2022)
Valentin Goranko, Fengkui Ju
A Logic for Conditional Local Strategic Reasoning. CoRR (2021)
Fengkui Ju, Karl Nygren, Tianwen Xu
Modeling legal conflict resolution based on dynamic logic. J. Log. Comput. 31 (4) (2021)
Fengkui Ju, Jan van Eijck
A temporal dynamic deontic logic. J. Log. Comput. 29 (2) (2019)
Valentin Goranko, Fengkui Ju
Towards a Logic for Conditional Local Strategic Reasoning. LORI (2019)
Fengkui Ju, Li Liang
Commands changing obligations 1. J. Log. Comput. 28 (8) (2018)
Fengkui Ju
S5 as a Deontic Logic. DEON (2018)
Fengkui Ju, Gianluca Grilletti, Valentin Goranko
A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle. Advances in Modal Logic (2018)
Fengkui Ju, Gianluca Grilletti
A Dynamic Solution to the Puzzle of Sea Battle. CoRR (2017)
Fengkui Ju, Gianluca Grilletti
A Dynamic Approach to Temporal Normative Logic. LORI (2017)
Fengkui Ju, Jan van Eijck
To Do Something Else. DEON (2016)
Fengkui Ju, Nana Cui, Shujiao Li
Trace Semantics for IPDL. LORI (2015)
Fengkui Ju, Li Liang
A Dynamic Deontic Logic Based on Histories. LORI (2013)
Fengkui Ju, Fenrong Liu
Update Semantics for Imperatives with Priorities. LORI (2011)