Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Rooduijn, Jan"'
Guarded Kleene Algebra with Tests (GKAT for short) is an efficient fragment of Kleene Algebra with Tests, suitable for reasoning about simple imperative while-programs. Following earlier work by Das and Pous on Kleene Algebra, we study GKAT from a pr
Externí odkaz:
http://arxiv.org/abs/2405.07505
Autor:
Rooduijn, Jan, Venema, Yde
We introduce a cyclic proof system for the two-way alternation-free modal $\mu$-calculus. The system manipulates one-sided Gentzen sequents and locally deals with the backwards modalities by allowing analytic applications of the cut rule. The global
Externí odkaz:
http://arxiv.org/abs/2307.01773
Autor:
Rooduijn, Jan, Venema, Yde
Publikováno v:
EPTCS 346, 2021, pp. 211-226
The continuous modal mu-calculus is a fragment of the modal mu-calculus, where the application of fixpoint operators is restricted to formulas whose functional interpretation is Scott-continuous, rather than merely monotone. By game-theoretic means,
Externí odkaz:
http://arxiv.org/abs/2109.08321
Autor:
Rooduijn, Jan, Zenger, Lukas
In this paper we present an analytic proof system for multi-modal logic with common-knowledge over S5 (called S5-CKL). The system is an annotated cyclic calculus manipulating two-sided Gentzen sequents and extending a known system for multi-modalS5.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f9c629f90f35c35fc2e8d6df05b08c22