Cover Image

Initial Algebra Correspondence under Reachability Conditions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kori, Mayuko, Watanabe, Kazuki, Rot, Jurriaan
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Composing Codensity Bisimulations
by: Kori, Mayuko, et al.
Published: (2024)

A No-go Theorem for Coalgebraic Product Construction
by: Kori, Mayuko, et al.
Published: (2025)

From Coalgebraic Determinization to Belief Construction for Partial Observability
by: Kori, Mayuko, et al.
Published: (2026)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
by: Watanabe, Kazuki, et al.
Published: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
by: Pous, Damien, et al.
Published: (2022)

Trees in Coalgebra from Generalized Reachability
by: Wißmann, Thorsten, et al.
Published: (2025)

Correspondences between codensity and coupling-based liftings, a practical approach
by: Humeau, Samuel, et al.
Published: (2024)

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
by: Kori, Mayuko
Published: (2026)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
by: Watanabe, Kazuki, et al.
Published: (2025)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
by: Watanabe, Kazuki, et al.
Published: (2024)

Small Test Suites for Active Automata Learning
by: Kruger, Loes, et al.
Published: (2024)

Relating Apartness and Branching Bisimulation Games
by: Rot, Jurriaan, et al.
Published: (2024)

Complete Test Suites for Automata in Monoidal Closed Categories
by: Kocsis, Bálint, et al.
Published: (2024)

Error-awareness Accelerates Active Automata Learning
by: Kruger, Loes, et al.
Published: (2026)

State Matching and Multiple References in Adaptive Active Automata Learning
by: Kruger, Loes, et al.
Published: (2024)

Proving Behavioural Apartness
by: Turkenburg, Ruben, et al.
Published: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
by: Schoen, Ezra, et al.
Published: (2024)

Constructing Witnesses for Lower Bounds on Behavioural Distances
by: Turkenburg, Ruben, et al.
Published: (2025)

On Piecewise Affine Reachability with Bellman Operators
by: Varonka, Anton, et al.
Published: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2026)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
by: Wißmann, Thorsten, et al.
Published: (2024)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
by: Watanabe, Kazuki
Published: (2024)

Incremental Fingerprinting in an Open World
by: Kruger, Loes, et al.
Published: (2026)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
by: van Collem, Simcha, et al.
Published: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

Intrinsically Correct Sorting in Cubical Agda
by: Alexandru, Cass, et al.
Published: (2024)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
by: Lyon, Tim S., et al.
Published: (2026)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
by: Chrysafis, et al.
Published: (2025)

Property Directed Reachability with Extended Resolution
by: Luka, Andrew, et al.
Published: (2025)

Multiple Reachability in Linear Dynamical Systems
by: Karimov, Toghrul, et al.
Published: (2024)

Reachability and Safety Games under TSO Semantics
by: Spengler, Stephan
Published: (2024)

On Higher-Order Reachability Games vs May Reachability
by: Asada, Kazuyuki, et al.
Published: (2022)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
by: van der Vegt, Marck, et al.
Published: (2025)

Compositional Value Iteration with Pareto Caching
by: Watanabe, Kazuki, et al.
Published: (2024)

Robust Almost-Sure Reachability in Multi-Environment MDPs
by: van der Vegt, Marck, et al.
Published: (2023)

Generalised Reachability Games Revisited
by: Bose, Sougata, et al.
Published: (2025)