Kawakami Pacheco, L. (2023, November 16). Game Semantics for the Constructive mu-calculus [Conference Presentation]. 15th Latin American Workshop on New Methods of Reasoning, Mexico City, Mexico.
15th Latin American Workshop on New Methods of Reasoning
en
Event date:
16-Nov-2023 - 11-Dec-2023
-
Event place:
Mexico City, Mexico
-
Keywords:
mu-calculus; game semantics; constructive modal logic
en
Abstract:
We define a constructive version of the \(\mu\)-calculus by adding least and greatest fixed-point operators to constructive modal logic. We define game semantics for the constructive \(\mu\)-calculus and prove its equivalence to bi-relational Kripke semantics. For applications, we study the logic \(\mu\mathsf{CS5}\), a constructive variation of \(\mathsf{S5}\) with fixed-points operators.
en
Research Areas:
Logic and Computation: 90% Computer Science Foundations: 10%