1 citations · 2 across the 12 of their papers we have counts for
12 papers
Capturing Bisimulation-Invariant Exponential-Space Complexity Classes
Florian Bruse, David Kronenberger, Martin Lange
Otto's Theorem characterises the bisimulation-invariant PTIME queries over graphs as exactly those that can be formulated in the polyadic mu-calculus. This extends to a characteris…
Representation theorems for actual and alpha powers over general concurrent game frames without assuming independence of agents
Zixuan Chen, Fengkui Ju, Thomas Agotnes
Concurrent game frames are a standard semantic framework for logics of strategic reasoning. Two notions of coalition power can be derived from such frames: alpha powers and actual…
Representation theorems for actual and alpha powers over two-agent general concurrent game frames
Zixuan Chen, Fengkui Ju, Thomas Agotnes
One of the most well-known connections between modal logic and games is Pauly's representation theorem: that the induced powers of individuals and coalitions in a concurrent game f…
Seven kinds of equivalent models for generalized coalition logics
Zixuan Chen, Fengkui Ju
Coalition Logic is an important logic in logical research on strategic reasoning. In two recent papers, Li and Ju argued that generally, concurrent game models, models of Coalition…
Completeness of coalition logics with seriality, independence of agents, or determinism
Yinfeng Li, Fengkui Ju
Coalition Logic is a central logic in logical research on strategic reasoning. In a recent paper, Li and Ju argued that generally, models of Coalition Logic, concurrent game models…
Logic for conditional strong historical necessity in branching time and analyses of an argument for future determinism
Fengkui Ju
In this paper, we present a logic for conditional strong historical necessity in branching time and apply it to analyze a nontheological version of Lavenham's argument for future d…
Completeness of two fragments of a logic for conditional strategic reasoning
Yinfeng Li, Fengkui Ju
Classical logics for strategic reasoning, such as Coalition Logic and Alternating-time Temporal Logic, formalize absolute strategic reasoning about the unconditional strategic abil…
A minimal coalition logic
Yinfeng Li, Fengkui Ju
Coalition Logic is an important logic in logical studies of strategic reasoning, whose models are concurrent game models. In this paper, first, we systematically discuss three assu…
A logical theory for conditional weak ontic necessity based on context update
Fengkui Ju
Weak ontic necessity is the ontic necessity expressed by ``should'' or ``ought to'' in English. An example of it is ``I should be dead by now''. A feature of this necessity is whet…
Historical/temporal necessities/possibilities, and a logical theory of them in branching time
Fengkui Ju, Woxuan Zhou
In this paper, we do three kinds of work. First, we recognize four notions of necessity and two notions of possibility related to time flow, namely strong/weak historical/temporal…
A Logic for Conditional Local Strategic Reasoning
Valentin Goranko, Fengkui Ju
We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an ext…
A logic for temporal conditionals and a solution to the Sea Battle Puzzle
Fengkui Ju, Gianluca Grilletti, Valentin Goranko
Temporal reasoning with conditionals is more complex than both classical temporal reasoning and reasoning with timeless conditionals, and can lead to some rather counter-intuitive…