Showing 1–3 of 3 results for author: Pacheco, L

Collapsing Constructive and Intuitionistic Modal Logics

Authors: Leonardo Pacheco

Abstract: We prove that the constructive and intuitionistic variants of the modal logic $\mathsf{KB}$ coincide. This result contrasts with a recent result by Das and Marin, who showed that the constructive and intuitionistic variants of $\mathsf{K}$ do not prove the same diamond-free formulas. We prove that the constructive and intuitionistic variants of the modal logic $\mathsf{KB}$ coincide. This result contrasts with a recent result by Das and Marin, who showed that the constructive and intuitionistic variants of $\mathsf{K}$ do not prove the same diamond-free formulas. △ Less

Submitted 1 October, 2024; v1 submitted 29 August, 2024; originally announced August 2024.

MSC Class: 03B45; 03F55

Game semantics for the constructive $μ$-calculus

Authors: Leonardo Pacheco

Abstract: 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. 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. △ Less

Submitted 1 October, 2024; v1 submitted 31 August, 2023; originally announced August 2023.

MSC Class: 03B45 (Primary); 03F55; 03B62 (Secondary)

Determinacy and reflection principles in second-order arithmetic

Authors: Leonardo Pacheco, Keita Yokoyama

Abstract: It is known that several variations of the axiom of determinacy play important roles in the study of reverse mathematics, and the relation between the hierarchy of determinacy and comprehension are revealed by Tanaka, Nemoto, Montalbán, Shore, and others. We prove variations of a result by Kołodziejczyk and Michalewski relating determinacy of arbitrary boolean combinations of $Σ^0_2$ sets and refl… ▽ More It is known that several variations of the axiom of determinacy play important roles in the study of reverse mathematics, and the relation between the hierarchy of determinacy and comprehension are revealed by Tanaka, Nemoto, Montalbán, Shore, and others. We prove variations of a result by Kołodziejczyk and Michalewski relating determinacy of arbitrary boolean combinations of $Σ^0_2$ sets and reflection in second-order arithmetic. Specifically, we prove that: over $\mathsf{ACA}_0$, $Π^1_2$-$\mathsf{Ref}(\mathsf{ACA}_0)$ is equivalent to $\forall n.(Σ^0_1)_n$-$\mathsf{Det}^*_0$; $Π^1_3$-$\mathsf{Ref}(Π^1_1$-$\mathsf{CA}_0)$ is equivalent to $\forall n.(Σ^0_1)_n$-$\mathsf{Det}$; and $Π^1_3$-$\mathsf{Ref}(Π^1_2$-$\mathsf{CA}_0)$ is equivalent to $\forall n.(Σ^0_2)_n$-$\mathsf{Det}$. We also restate results by Montalbán and Shore to show that $Π^1_3$-$\mathsf{Ref}(\mathsf{Z}_2)$ is equivalent to $\forall n.(Σ^0_3)_n$-$\mathsf{Det}$ over $\mathsf{ACA}_0$. △ Less

Submitted 19 May, 2023; v1 submitted 8 September, 2022; originally announced September 2022.

MSC Class: 03B30; 03F35; 03F25; 03H15