Fengkui Ju

Orcid: 0000-0002-6686-2557

According to our database1, Fengkui Ju authored at least 22 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time.
Stud Logica, August, 2024

Completeness of coalition logics with seriality, independence of agents, or determinism.
CoRR, 2024

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

Completeness of two fragments of a logic for conditional strategic reasoning.
CoRR, 2024

A minimal coalition logic.
CoRR, 2024

2023
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update.
J. Log. Lang. Inf., December, 2023

Multi-agent logic for reasoning about duties and powers in private law.
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

Normative Properties of Sequential Actions.
Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022
A Logic for Conditional Local Strategic Reasoning.
J. Log. Lang. Inf., 2022

A logical theory for strong and weak ontic necessities in branching time.
CoRR, 2022

2021
Modeling legal conflict resolution based on dynamic logic.
J. Log. Comput., 2021

2019
A temporal dynamic deontic logic.
J. Log. Comput., 2019

Towards a Logic for Conditional Local Strategic Reasoning.
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018
Commands changing obligations 1.
J. Log. Comput., 2018

S5 as a Deontic Logic.
Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle.
Proceedings of the Advances in Modal Logic 12, 2018

2017
A Dynamic Solution to the Puzzle of Sea Battle.
CoRR, 2017

A Dynamic Approach to Temporal Normative Logic.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016
To Do Something Else.
Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015
Trace Semantics for IPDL.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2013
A Dynamic Deontic Logic Based on Histories.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

2011
Update Semantics for Imperatives with Priorities.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011


  Loading...