Image de couverture de livre

Game semantics for the constructive $μ$-calculus

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Pacheco, Leonardo
Format:	Preprint
Publié:	2023
Sujets:	Logic Logic in Computer Science 03B45 (Primary), 03F55, 03B62 (Secondary)
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Collapsing Constructive and Intuitionistic Modal Logics
par: Pacheco, Leonardo
Publié: (2024)

Sub-sub-intuitionistic logic
par: Deakin, Jonte, et autres
Publié: (2024)

Lewis and Brouwer meet Strong Löb
par: Visser, Albert, et autres
Publié: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
par: Ayhan, Sara
Publié: (2023)

State-based Modal Logics for Free Choice
par: Aloni, Maria, et autres
Publié: (2023)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
par: Gallardo, Andrés, et autres
Publié: (2024)

Swap Kripke models for deontic LFIs
par: Vaz, Mahan, et autres
Publié: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
par: Lyon, Tim S.
Publié: (2025)

Proof-theoretic methods in quantifier-free definability
par: Kocsis, Zoltan A.
Publié: (2023)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

Esakia's theorem for the amended monadic intuitionistic calculus
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
par: Coniglio, Marcelo E.
Publié: (2023)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
par: Walsh, Sean
Publié: (2024)

Intuitionistic Common Knowledge
par: Zenger, Lukas
Publié: (2026)

Logics of polyhedral reachability
par: Bezhanishvili, Nick, et autres
Publié: (2024)

A non-uniform view of Craig interpolation in modal logics with linear frames
par: Kurucz, Agi, et autres
Publié: (2023)

Interpolation above S4
par: Santschi, Simon, et autres
Publié: (2026)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
par: Wolter, Frank, et autres
Publié: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
par: Bezhanishvili, Nick, et autres
Publié: (2022)

Examples and counterexamples of injective types
par: de Jong, Tom, et autres
Publié: (2026)

Modular many-valued semantics for combined logics
par: Caleiro, Carlos, et autres
Publié: (2022)

The calculus of names -- The legacy of Jan Łukasiewicz
par: Pietruszczak, Andrzej
Publié: (2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
par: Forster, Jonas, et autres
Publié: (2023)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
par: Ghari, Meghdad
Publié: (2014)

A simplified lower bound for implicational logic
par: Jeřábek, Emil
Publié: (2023)

Iterated club shooting and the stationary-logic constructible model
par: Ya'ar, Ur
Publié: (2022)

On the Contingency of Logic in Possible World Semantics
par: van der Giessen, Iris, et autres
Publié: (2025)

Locally tabular products of modal logics
par: Shapirovsky, Ilya B., et autres
Publié: (2024)

Definability over $\mathrm BΣ^0_2$-models
par: Chong, Chi Tat, et autres
Publié: (2025)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
par: Kuijer, Louwe, et autres
Publié: (2025)

From Interpolating Formulas to Separating Languages and Back Again
par: Kurucz, Agi, et autres
Publié: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

Failure of Esakia's theorem in the monadic setting
par: Bezhanishvili, Guram, et autres
Publié: (2024)

The most natural paradefinite logic relative to classical logic
par: Middelburg, C. A.
Publié: (2026)

Notes on ultrafilter extensions of almost bounded structures
par: Molnár, Zalán
Publié: (2025)

A classical-logic view on a paraconsistent logic
par: Middelburg, C. A.
Publié: (2020)

LF: a Foundational Higher-Order-Logic
par: Goodsell, Zachary, et autres
Publié: (2024)

Models for short sequences of measures in the cofinality-$ω$ constructible model
par: Ya'ar, Ur
Publié: (2021)

The interdefinability of expansions of Belnap-Dunn logic
par: Middelburg, C. A.
Publié: (2024)

Natural Term Logic
par: Protin, Clarence
Publié: (2024)