:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Pollaci, Samuele
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2502.09234
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
by: Pollaci, Samuele, et al.
Published: (2024)

Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026)

Approximation Fixpoint Theory with Refined Approximation Spaces
by: Vanbesien, Linde, et al.
Published: (2025)

Approximating Fixpoints of Approximated Functions
by: Baldan, Paolo, et al.
Published: (2025)

Fixpoint Theory -- Upside Down
by: Baldan, Paolo, et al.
Published: (2021)

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

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

A Category Theoretic Approach to Approximate Game Theory
by: Ghani, Neil
Published: (2025)

Witnesses for Fixpoint Games on Lattices
by: König, Barbara, et al.
Published: (2026)

Operations on Fixpoint Equation Systems
by: Neele, Thomas, et al.
Published: (2023)

A Monoidal View on Fixpoint Checks
by: Baldan, Paolo, et al.
Published: (2023)

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

Faster Game Solving by Fixpoint Acceleration
by: Hausmann, Daniel
Published: (2024)

The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
by: Jung, Jean Christoph, et al.
Published: (2025)

Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
by: Bruse, Florian, et al.
Published: (2025)

Modal Separability of Fixpoint Formulae
by: Jung, Jean Christoph, et al.
Published: (2024)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
by: Kojima, Ryota, et al.
Published: (2025)

Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Fixpoint constructions in focused orthogonality models of linear logic
by: Fiore, Marcelo, et al.
Published: (2023)

A Category-Theoretic Framework for Dependent Effect Systems
by: Kura, Satoshi, et al.
Published: (2026)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
by: Baldan, Paolo, et al.
Published: (2026)

Proceedings Seventh International Conference on Applied Category Theory 2024
by: Johnson, Michael, et al.
Published: (2025)

The Stable Model Semantics for Higher-Order Logic Programming
by: Bogaerts, Bart, et al.
Published: (2024)

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

Linear Arboreal Categories
by: Abramsky, Samson, et al.
Published: (2023)

Synthetic 1-Categories in Directed Type Theory
by: Altenkirch, Thorsten, et al.
Published: (2024)

Proceedings Eighth International Conference on Applied Category Theory
by: Hadzihasanovic, Amar, et al.
Published: (2026)

Evidential Decision Theory via Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2023)

On Categories of Nested Conditions
by: Rensink, Arend, et al.
Published: (2024)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
by: Faella, Marco, et al.
Published: (2024)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)

String Diagrams for Monoidal Categories, in Rocq
by: Pous, Damien
Published: (2026)

From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Aczel-Mendler Bisimulations in a Regular Category
by: Dubut, Jeremy
Published: (2023)