1 citations · 2 across the 12 of their papers we have counts for
6 papers · 1 filter
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…
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…
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 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…