Imagen de Portada

The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Pacheco, Leonardo
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
por: Becker, Justus
Publicado: (2025)

Unified Gentzen Approach to Connexive Logics over Wansing's C
por: Kamide, Norihiro
Publicado: (2024)

Logic of Sets with Atoms
por: Masters, Jake
Publicado: (2025)

Semi-Substructural Logics à la Lambek
por: Wan, Cheng-Syuan
Publicado: (2024)

Complexity of Łukasiewicz Modal Probabilistic Logics
por: Kozhemiachenko, Daniil, et al.
Publicado: (2025)

Efficient Normalization of Linear Temporal Logic
por: Esparza, Javier, et al.
Publicado: (2023)

On a Dependently Typed Encoding of Matching Logic
por: Kurucz, Ádám, et al.
Publicado: (2025)

Computation and Size of Interpolants for Hybrid Modal Logics
por: Jung, Jean Christoph, et al.
Publicado: (2026)

CoLF Logic Programming as Infinitary Proof Exploration
por: Chen, Zhibo, et al.
Publicado: (2025)

Two Remarks about Game Semantics of Classical Logic
por: Coquand, Thierry
Publicado: (2026)

Two-Level Type Theory and Applications
por: Annenkov, Danil, et al.
Publicado: (2017)

Expressivity of bisimulation pseudometrics over analytic state spaces
por: Luckhardt, Daniel, et al.
Publicado: (2025)

Probabilistic Epistemic Dynamic Agentive Logic
por: Logan, Shay Allen
Publicado: (2026)

Satisfiability for Knowing How over Linear Plans is NP-complete
por: Areces, Carlos, et al.
Publicado: (2026)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
por: Hellwig, Jonathan, et al.
Publicado: (2025)

Axiomatizing the Logic of Ordinary Discourse
por: Greati, Vitor, et al.
Publicado: (2024)

Satisfiability in Łukasiewicz logic and its unbounded relative
por: Haniková, Zuzana, et al.
Publicado: (2025)

A Topological Rewriting of Tarski's Mereogeometry
por: Barlatier, Patrick, et al.
Publicado: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
por: van der Giessen, Iris, et al.
Publicado: (2023)

Cardinality and Representation of Stone Relation Algebras
por: Furusawa, Hitoshi, et al.
Publicado: (2023)

Arithmetics within the Linear Time Hierarchy
por: Pollett, Chris
Publicado: (2025)

Robust Computation Tree Logic
por: Nayak, Satya Prakash, et al.
Publicado: (2022)

A Fibrational Perspective on Differential Linear Logic
por: Koleilat, Jad
Publicado: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

Proof Compression via Subatomic Logic and Guarded Substitutions
por: Barrett, Victoria, et al.
Publicado: (2025)

Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
por: Ito, Sohei, et al.
Publicado: (2026)

Local-Order-Invariant Logic on Classes of Bounded Degree
por: Aoki, Derek
Publicado: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
por: Puljujärvi, Joni, et al.
Publicado: (2026)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
por: Lago, Ugo Dal, et al.
Publicado: (2026)

Uniform Substitution for Differential Refinement Logic
por: Prebet, Enguerrand, et al.
Publicado: (2024)

Deducibility in the full Lambek calculus with weakening is HAck-complete
por: Greati, Vitor, et al.
Publicado: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
por: Cerda, Rémy, et al.
Publicado: (2023)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
por: Borzechowski, Manfred, et al.
Publicado: (2025)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
por: Grabolle, Gustav
Publicado: (2022)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*)
por: Ghorbel, Bassem, et al.
Publicado: (2024)

Dependently Sorted Nominal Signatures
por: Fernández, Maribel, et al.
Publicado: (2025)

Who Wins the Multi-Structural Game?
por: Fagin, Ronald, et al.
Publicado: (2025)

The Limit of Recursion in State-based Systems
por: Afshari, Bahareh, et al.
Publicado: (2025)

Scroll nets
por: Donato, Pablo
Publicado: (2025)