Image de couverture de livre

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Pollaci, Samuele, Kostopoulos, Babis, Denecker, Marc, Bogaerts, Bart
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Category-Theoretic Perspective on Approximation Fixpoint Theory
par: Pollaci, Samuele
Publié: (2025)

Approximation Fixpoint Theory with Refined Approximation Spaces
par: Vanbesien, Linde, et autres
Publié: (2025)

The Stable Model Semantics for Higher-Order Logic Programming
par: Bogaerts, Bart, et autres
Publié: (2024)

Fixpoint Semantics for DatalogMTL with Negation
par: Pollaci, Samuele
Publié: (2026)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
par: Charalambidis, Angelos, et autres
Publié: (2026)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
par: Charalambidis, Angelos, et autres
Publié: (2026)

The Power of Negation in Higher-Order Datalog
par: Charalambidis, Angelos, et autres
Publié: (2025)

Simulating dynamic systems using Linear Time Calculus theories
par: Bogaerts, Bart, et autres
Publié: (2014)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
par: Marković, Đorđe, et autres
Publié: (2025)

Approximating Fixpoints of Approximated Functions
par: Baldan, Paolo, et autres
Publié: (2025)

Fixpoint Theory -- Upside Down
par: Baldan, Paolo, et autres
Publié: (2021)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
par: Kettmann, Pascal, et autres
Publié: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
par: Kettmann, Pascal, et autres
Publié: (2026)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
par: Vandesande, Dieter, et autres
Publié: (2025)

A Category Theoretic Approach to Approximate Game Theory
par: Ghani, Neil
Publié: (2025)

A Monoidal View on Fixpoint Checks
par: Baldan, Paolo, et autres
Publié: (2023)

Witnesses for Fixpoint Games on Lattices
par: König, Barbara, et autres
Publié: (2026)

Operations on Fixpoint Equation Systems
par: Neele, Thomas, et autres
Publié: (2023)

A Categorical Approach to Coalgebraic Fixpoint Logic
par: Schoen, Ezra, et autres
Publié: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
par: Bogaerts, Bart, et autres
Publié: (2022)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
par: Jung, Jean Christoph, et autres
Publié: (2025)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
par: Bruse, Florian, et autres
Publié: (2025)

Faster Game Solving by Fixpoint Acceleration
par: Hausmann, Daniel
Publié: (2024)

Hammering Higher Order Set Theory
par: Brown, Chad E., et autres
Publié: (2025)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
par: Van Caudenberg, Daimy, et autres
Publié: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
par: Kojima, Ryota, et autres
Publié: (2025)

Modal Separability of Fixpoint Formulae
par: Jung, Jean Christoph, et autres
Publié: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
par: Gratzer, Daniel, et autres
Publié: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
par: Kihara, Takayuki
Publié: (2024)

Preservation theorems for Tarski's relation algebra
par: Bogaerts, Bart, et autres
Publié: (2023)

A Category-Theoretic Framework for Dependent Effect Systems
par: Kura, Satoshi, et autres
Publié: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
par: Abramsky, Samson, et autres
Publié: (2021)

Fixpoint constructions in focused orthogonality models of linear logic
par: Fiore, Marcelo, et autres
Publié: (2023)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
par: Haselwarter, Philipp G., et autres
Publié: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Executable First-Order Queries in the Logic of Information Flows
par: Aamer, Heba, et autres
Publié: (2022)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
par: Bacci, Giorgio, et autres
Publié: (2025)

A Sequent Calculus for General Inductive Definitions
par: Eede, Robbe Van den, et autres
Publié: (2026)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
par: Baldan, Paolo, et autres
Publié: (2026)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)