Copertina

Rule Formats for Nominal Process Calculi

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Aceto, Luca, Fábregas, Ignacio, García-Pérez, Álvaro, Ingólfsdóttir, Anna, Ortega-Mallén, Yolanda
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A unified rule format for bounded nondeterminism in SOS with terms as labels
di: Aceto, Luca, et al.
Pubblicazione: (2024)

When Are Prime Formulae Characteristic?
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Logical characterisations, rule formats and compositionality for input-output conformance simulation
di: Aceto, Luca, et al.
Pubblicazione: (2024)

On the specification of modal systems: A comparison of three frameworks
di: Aceto, Luca, et al.
Pubblicazione: (2024)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Deciding characteristic formulae: A journey in the branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Complexity results for modal logic with recursion via translations and tableaux
di: Aceto, Luca, et al.
Pubblicazione: (2023)

Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
di: Aceto, Luca, et al.
Pubblicazione: (2025)

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

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

Forcing, Transition Algebras, and Calculi
di: Go, Hashimoto, et al.
Pubblicazione: (2024)

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

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

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

Expressiveness Results for Timed Modal Mu-Calculi
di: Cleaveland, Rance, et al.
Pubblicazione: (2023)

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

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

Nominal anti-unification
di: Baumgartner, Alexander, et al.
Pubblicazione: (2025)

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

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

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

Lax Modal Lambda Calculi
di: Valliappan, Nachiappan
Pubblicazione: (2025)

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

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
di: Cerda, Rémy
Pubblicazione: (2025)

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

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

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

Non-strongly Stable Orders Also Define Interesting Simulation Relations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
di: de Frutos-Escrig, David, et al.
Pubblicazione: (2024)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

Logics for Contravariant Simulations
di: Fábregas, Ignacio, et al.
Pubblicazione: (2024)

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

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

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

Strong Nominal Semantics for Fixed-Point Constraints
di: Caires-Santos, Ali K., et al.
Pubblicazione: (2024)

Nominal Type Theory by Nullary Internal Parametricity
di: Van Muylder, Antoine, et al.
Pubblicazione: (2025)

Nominal Equational Rewriting and Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
di: Fernández, Maribel, et al.
Pubblicazione: (2025)

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