Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Kołodziejski, Jędrzej"'
We study modal separability for fixpoint formulae: given two mutually exclusive fixpoint formulae $\varphi,\varphi'$, decide whether there is a modal formula $\psi$ that separates them, that is, that satisfies $\varphi\models\psi\models\neg\varphi'$.
Externí odkaz:
http://arxiv.org/abs/2406.01497
Autor:
Kołodziejski, Jędrzej, Klin, Bartek
We introduce the countdown $\mu$-calculus, an extension of the modal $\mu$-calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classical calculus, it can express (un)boundedness properties such as th
Externí odkaz:
http://arxiv.org/abs/2208.00536
Autor:
Kołodziejski, Jędrzej, Klin, Bartek
We introduce the countdown $μ$-calculus, an extension of the modal $μ$-calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classical calculus, it can express (un)boundedness properties such as the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::668a5f0be5feeac38e21784ebffd89fa