:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cleaveland, Rance, Keiren, Jeroen J. A., Fontana, Peter
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2310.04100
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Corrections to A Menagerie of Timed Automata
by: Keiren, Jeroen J. A., et al.
Published: (2016)

Benchmarks for Parity Games (extended version)
by: Keiren, Jeroen J. A.
Published: (2014)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Tutorial: Designing Distributed Software in mCRL2
by: Groote, Jan Friso, et al.
Published: (2021)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
by: Stramaglia, Anna, et al.
Published: (2025)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)

Local Intuitionistic Modal Logics and Their Calculi
by: Balbiani, Philippe, et al.
Published: (2024)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
by: Keiren, Jeroen J. A., et al.
Published: (2013)

Stuttering Equivalence for Parity Games
by: Cranen, Sjoerd, et al.
Published: (2011)

Structural Analysis of Boolean Equation Systems
by: Keiren, Jeroen, et al.
Published: (2010)

Lax Modal Lambda Calculi
by: Valliappan, Nachiappan
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Deadlock in packet switching networks
by: Stramaglia, Anna, et al.
Published: (2021)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
by: Jansen, David N., et al.
Published: (2019)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)

Rule Formats for Nominal Process Calculi
by: Aceto, Luca, et al.
Published: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
by: Nishimura, Yuki
Published: (2022)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
by: Litak, Tadeusz, et al.
Published: (2025)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

An Expressive Coalgebraic Modal Logic for Cellular Automata
by: Basold, Henning, et al.
Published: (2025)

Hypersequent Calculi Have Ackermannian Complexity
by: Balasubramanian, A. R., et al.
Published: (2026)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
by: Nakamura, Yoshiki
Published: (2023)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
by: Imaz, Gonzalo E.
Published: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
by: Heuvel, Bas van den, et al.
Published: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
by: Alrabbaa, Christian, et al.
Published: (2025)

Twist Sequent Calculi for S4 and its Neighbors
by: Kamide, Norihiro
Published: (2024)

Adding Negation to Lambda Mu
by: van Bakel, Steffen
Published: (2021)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
by: Gao, Dichuan, et al.
Published: (2026)

Dependence and Independence for Reversible Process Calculi
by: Aubert, Clément, et al.
Published: (2024)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)

Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)

Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)

Decidability of Quantum Modal Logic
by: Tokuo, Kenji
Published: (2026)