arXiv Open Access 2023

Game semantics for the constructive $μ$-calculus

Leonardo Pacheco

Lihat Sumber

Abstrak

We define game semantics for the constructive $μ$-calculus and prove its equivalence to bi-relational semantics. As an application, we use the game semantics to prove that the $μ$-calculus collapses to modal logic over the modal logic $\mathsf{IS5}$. We then show the completeness of $\mathsf{IS5}$ extended with fixed-point operators.

Topik & Kata Kunci

math.LO cs.LO

Penulis (1)

Leonardo Pacheco

Format Sitasi

APA MLA BibTeX

Pacheco, L. (2023). Game semantics for the constructive $μ$-calculus. https://arxiv.org/abs/2308.16697

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓