Cover Image

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fusco, Ludovico, Aldini, Alessandro
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Logic 03B45, 03F05, 03F52, 03G10, 06A15, 06F05, 20M35, 68Q85
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

Cut-free sequent calculi for the provability logic D
by: Kashima, Ryo, et al.
Published: (2023)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
by: Buriola, Gabriele, et al.
Published: (2025)

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
by: Nishimuta, Yuki, et al.
Published: (2018)

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

Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
by: Forster, Jonas, et al.
Published: (2023)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Axiomatizing small varieties of periodic l-pregroups
by: Galatos, Nikolaos, et al.
Published: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Well-quasi-orders on finite trees and transfinite sequences
by: Chopra, Alakh Dhruv, et al.
Published: (2026)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
by: Wild, Paul, et al.
Published: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
by: Forster, Jonas, et al.
Published: (2026)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Dilators and the reverse mathematics zoo
by: Freund, Anton
Published: (2024)

Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Automatic structures and the problem of natural well-orderings
by: Beklemishev, Lev D., et al.
Published: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

A non-speedup result for the chain-antichain principle over a weak base theory
by: Kowalik, Katarzyna W.
Published: (2025)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)

Normalization properties of $λμ$-calculus using realizability semantics
by: Battyanyi, Peter, et al.
Published: (2023)

Finitely Bounded Homogeneity Turned Inside-Out
by: Rydval, Jakub
Published: (2021)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, et al.
Published: (2024)

Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)