Cover Image

Trees in Coalgebra from Generalized Reachability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wißmann, Thorsten, Kocsis, Bálint, Rot, Jurriaan, Turkenburg, Ruben
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

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

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

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

Well-Founded Coalgebras Meet König's Lemma
by: Urbat, Henning, et al.
Published: (2025)

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

Initial Algebra Correspondence under Reachability Conditions
by: Kori, Mayuko, et al.
Published: (2025)

Intrinsically Correct Algorithms and Recursive Coalgebras
by: Alexandru, Cass, et al.
Published: (2025)

Efficient Coalgebraic Partition Refinement
by: Dorsch, Ulrich, et al.
Published: (2017)

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

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

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

Correspondences between codensity and coupling-based liftings, a practical approach
by: Humeau, Samuel, 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)

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

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

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

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Coalgebraic Behavioral Metrics
by: Baldan, Paolo, et al.
Published: (2017)

Coalgebraic Path Constraints
by: Schmid, Todd
Published: (2026)

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

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

Non-Expansive Fuzzy Coalgebraic Logic
by: Gebhart, Stefan, et al.
Published: (2025)

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

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

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

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

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

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
by: Beohar, Harsh, et al.
Published: (2023)

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

A Coalgebraic Model of Quantum Bisimulation
by: Ceragioli, Lorenzo, et al.
Published: (2025)

Terminal Coalgebras in Countably Many Steps
by: Adámek, Jiří, et al.
Published: (2023)

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

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

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

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)

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

Compositionality in Coalgebraic Trace Semantics
by: Jourde, Robin, et al.
Published: (2026)

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)