5 problems

Let $\mathcal{L}_{\vardiamond}$ be the modal language obtained by extending modal logic with the tangle operator $\vardiamond^\infty$, and let the topological $\mu$-calculus be the…

Let the intuitionistic propositional calculus be extended with least and greatest fixed-point operators, forming an intuitionistic $bc$-calculus. A formula is fixed-point free if i…

Game-theoretic equivalence conjecture. The notion of game-theoretic equivalence can be defined so that two parity games are game-theoretically equivalent if and only if their inter…

The paper considers a tableau calculus for the coalgebraic $\mu$-calculus whose inputs may be formula sequents. Tableau-calculus conjecture. The tableau calculus is sound and compl…

A formula is guarded if every fixpoint variable occurs only within the scope of a modal operator; the paper studies a tableau calculus for the coalgebraic $\mu$-calculus, with form…