Image de couverture de livre

Demystifying $μ$

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Afshari, Bahareh, Leigh, Graham E., Turata, Guillermo Menèndez
Format:	Preprint
Publié:	2024
Sujets:	Logic Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

Cut-elimination for the alternation-free modal mu-calculus
par: Afshari, Bahareh, et autres
Publié: (2025)

The Limit of Recursion in State-based Systems
par: Afshari, Bahareh, et autres
Publié: (2025)

Unravelling Cyclic First-Order Arithmetic
par: Leigh, Graham E., et autres
Publié: (2025)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
par: Curzi, Gianluca, et autres
Publié: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

Peano Arithmetic and $μ$MALL
par: Manighetti, Matteo, et autres
Publié: (2023)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
par: Spronck, Myrthe, et autres
Publié: (2024)

On the cut-elimination of the modal $μ$-calculus: Linear Logic to the rescue
par: Bauer, Esaïe, et autres
Publié: (2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
par: Hausmann, Daniel, et autres
Publié: (2025)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
par: Stramaglia, Anna, et autres
Publié: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
par: Herbelin, Hugo
Publié: (2024)

The strength of the dominance rule
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2024)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

The subTuring degrees
par: Kihara, Takayuki, et autres
Publié: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

Incompleteness theorems via Turing category
par: Savelyev, Yasha
Publié: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
par: Lyon, Tim S.
Publié: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
par: De Domenico, Andrea, et autres
Publié: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
par: Kihara, Takayuki
Publié: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
par: Takahashi, Yuta
Publié: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
par: Kürbis, Nils
Publié: (2024)

Further remarks on the dual negation in team logics
par: Anttila, Aleksi
Publié: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
par: Lyon, Tim S.
Publié: (2024)

Denotational semantics driven simplicial homology?
par: Barbarossa, Davide
Publié: (2024)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
par: Ken, Eitetsu, et autres
Publié: (2024)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

An independence of the MIN principle from the PHP principle
par: Narusevych, Mykyta
Publié: (2024)

On the Completeness of Interpolation Algorithms
par: Hetzl, Stefan, et autres
Publié: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)