Buchumschlag

A Categorical Approach to Coalgebraic Fixpoint Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schoen, Ezra, Kupke, Clemens, Rot, Jurriaan, Turkenburg, Ruben
Format:	Preprint
Veröffentlicht:	2024
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

Proving Behavioural Apartness
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2024)

Trees in Coalgebra from Generalized Reachability
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances
von: Turkenburg, Ruben, et al.
Veröffentlicht: (2025)

Relative fixed points of functors
von: Schoen, Ezra, et al.
Veröffentlicht: (2023)

A Unifying Approach to Product Constructions for Quantitative Temporal Inference
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Small Test Suites for Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

Relating Apartness and Branching Bisimulation Games
von: Rot, Jurriaan, et al.
Veröffentlicht: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
von: Pous, Damien, et al.
Veröffentlicht: (2022)

Initial Algebra Correspondence under Reachability Conditions
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Complete Test Suites for Automata in Monoidal Closed Categories
von: Kocsis, Bálint, et al.
Veröffentlicht: (2024)

Correspondences between codensity and coupling-based liftings, a practical approach
von: Humeau, Samuel, et al.
Veröffentlicht: (2024)

State Matching and Multiple References in Adaptive Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2024)

Error-awareness Accelerates Active Automata Learning
von: Kruger, Loes, et al.
Veröffentlicht: (2026)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
von: Kojima, Ryota, et al.
Veröffentlicht: (2025)

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

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2025)

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

An Expressive Coalgebraic Modal Logic for Cellular Automata
von: Basold, Henning, et al.
Veröffentlicht: (2025)

Expressivity of bisimulation pseudometrics over analytic state spaces
von: Luckhardt, Daniel, et al.
Veröffentlicht: (2025)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

A Monoidal View on Fixpoint Checks
von: Baldan, Paolo, et al.
Veröffentlicht: (2023)

Witnesses for Fixpoint Games on Lattices
von: König, Barbara, et al.
Veröffentlicht: (2026)

Fixpoint Theory -- Upside Down
von: Baldan, Paolo, et al.
Veröffentlicht: (2021)

Operations on Fixpoint Equation Systems
von: Neele, Thomas, et al.
Veröffentlicht: (2023)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
von: Kettmann, Pascal, et al.
Veröffentlicht: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
von: Kettmann, Pascal, et al.
Veröffentlicht: (2026)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
von: Gallardo, Andrés, et al.
Veröffentlicht: (2024)

Coalgebraic Behavioral Metrics
von: Baldan, Paolo, et al.
Veröffentlicht: (2017)

Coalgebraic Path Constraints
von: Schmid, Todd
Veröffentlicht: (2026)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
von: Pollaci, Samuele
Veröffentlicht: (2025)

Fixpoint Semantics for DatalogMTL with Negation
von: Pollaci, Samuele
Veröffentlicht: (2026)

Composing Codensity Bisimulations
von: Kori, Mayuko, et al.
Veröffentlicht: (2024)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
von: Bruse, Florian, et al.
Veröffentlicht: (2025)

Approximating Fixpoints of Approximated Functions
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

A Categorical Semantics for Linear Logical Frameworks
von: Vákár, Matthijs
Veröffentlicht: (2015)

Faster Game Solving by Fixpoint Acceleration
von: Hausmann, Daniel
Veröffentlicht: (2024)

Tree Automata Acceptance up to Measurable Defect
von: Moyasari, Anita, et al.
Veröffentlicht: (2026)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
von: Pollaci, Samuele, et al.
Veröffentlicht: (2024)

Incremental Fingerprinting in an Open World
von: Kruger, Loes, et al.
Veröffentlicht: (2026)