Buchumschlag

Relators and Notions of Simulation Revisited

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goncharov, Sergey, Hofmann, Dirk, Nora, Pedro, Schröder, Lutz, Wild, Paul
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The Only Distributive Law Over the Powerset Monad Is the One You Know
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

Identity-Preserving Lax Extensions and Where to Find Them
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Non-expansive Fuzzy ALC
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

Bialgebraic Reasoning on Stateful Languages
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Logical Predicates in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Higher-order bialgebraic semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Relational Connectors and Heterogeneous Bisimulations
von: Nora, Pedro, et al.
Veröffentlicht: (2024)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
von: Goncharov, Sergey
Veröffentlicht: (2024)

Behavioural Conformances based on Lax Couplings
von: Wild, Paul, et al.
Veröffentlicht: (2025)

Towards a Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2022)

A Unifying Categorical View of Nondeterministic Iteration and Tests
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
von: Bowler, Nathan, et al.
Veröffentlicht: (2025)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
von: Beohar, Harsh, et al.
Veröffentlicht: (2023)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
von: Ayhan, Sara
Veröffentlicht: (2025)

Big Steps in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Abstract Operational Methods for Call-by-Push-Value
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Conformance Games for Graded Semantics
von: Forster, Jonas, et al.
Veröffentlicht: (2024)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
von: Hausmann, Daniel, et al.
Veröffentlicht: (2025)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
von: Bunch, Carter, et al.
Veröffentlicht: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
von: Goncharov, Sergey, et al.
Veröffentlicht: (2024)

Graded Monads and Behavioural Equivalence Games
von: Ford, Chase, et al.
Veröffentlicht: (2022)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
von: Santo, José Espírito, et al.
Veröffentlicht: (2022)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
von: Forster, Jonas, et al.
Veröffentlicht: (2026)

Towards a Higher-Order Bialgebraic Denotational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2026)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
von: de Groot, Jim, et al.
Veröffentlicht: (2021)

Efficient Coalgebraic Partition Refinement
von: Dorsch, Ulrich, et al.
Veröffentlicht: (2017)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
von: Heyninck, Jesse
Veröffentlicht: (2024)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
von: Wild, Paul, et al.
Veröffentlicht: (2025)

Non-strongly Stable Orders Also Define Interesting Simulation Relations
von: Fábregas, Ignacio, et al.
Veröffentlicht: (2024)

Generalised Reachability Games Revisited
von: Bose, Sougata, et al.
Veröffentlicht: (2025)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
von: Forster, Jonas, et al.
Veröffentlicht: (2023)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
von: Hartonas, Chrysafis
Veröffentlicht: (2021)

Intuitionistic BV (Extended version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2025)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
von: D'Angelo, Keri, et al.
Veröffentlicht: (2024)