:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Reggio, Luca, Riba, Colin
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2304.12709
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

An invitation to game comonads
by: Abramsky, Samson, et al.
Published: (2024)

A Complete Finitary Refinement Type System for Scott-Open Properties
by: Riba, Colin, et al.
Published: (2026)

Infinitary Refinement Types for Temporal Properties in Scott Domains
by: Riba, Colin, et al.
Published: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
by: Abramsky, Samson, et al.
Published: (2022)

Deciding characteristic formulae: A journey in the branching-time spectrum
by: Aceto, Luca, et al.
Published: (2025)

A categorical perspective on constraint satisfaction: The wonderland of adjunctions
by: Hadek, Maximilian, et al.
Published: (2025)

A 2-adjunction between representations and preorder morphisms
by: Brunet, Paul
Published: (2026)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
by: Aceto, Luca, et al.
Published: (2024)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Fairness and promptness in Muller formulas
by: Busatto-Gaston, Damien, et al.
Published: (2022)

The unstable formula theorem revisited via algorithms
by: Malliaris, Maryanthe, et al.
Published: (2022)

Finite Axiomatizability by Disjunctive Existential Rules
by: Calautti, Marco, et al.
Published: (2025)

Complete Symmetry Breaking for Finite Models
by: Dančo, Marek, et al.
Published: (2025)

Programs Versus Finite Tree-Programs
by: Moshkov, Mikhail
Published: (2025)

An SMT-LIB Theory of Finite Fields
by: Hader, Thomas, et al.
Published: (2024)

Intersection Types via Finite-Set Declarations
by: Kamareddine, Fairouz, et al.
Published: (2024)

Completeness of Finitely Weighted Kleene Algebra With Tests
by: Sedlár, Igor
Published: (2024)

Automata Linear Dynamic Logic on Finite Traces
by: Smith, Kevin W., et al.
Published: (2021)

Hardness of monadic second-order formulae over succinct graphs
by: Gamard, Guilhem, et al.
Published: (2023)

Semantics for Linear-time Temporal Logic with Finite Observations
by: Amjad, Rayhana, et al.
Published: (2024)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
by: Pertseva, Elizaveta, et al.
Published: (2026)

SAT-Based Techniques for Lexicographically Smallest Finite Models
by: Janota, Mikoláš, et al.
Published: (2025)

Limited Math: Aligning Mathematical Semantics with Finite Computation
by: Wen, Lian
Published: (2026)

Cube-based Isomorph-free Finite Model Finding
by: Chow, Choiwah, et al.
Published: (2025)

A Rocq Formalization of Simplicial Lagrange Finite Elements
by: Boldo, Sylvie, et al.
Published: (2026)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
by: Bombardelli, Alberto, et al.
Published: (2023)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
by: Bergstra, Jan A, et al.
Published: (2023)

Partially Finite Model Reasoning in Description Logics Extended Version
by: Gogacz, Tomasz, et al.
Published: (2026)

Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas
by: Palmieri, Stefano
Published: (2026)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)

A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs
by: Blake, Colin
Published: (2026)

Simpler Presentations for Many Fragments of Quantum Circuits
by: Blake, Colin
Published: (2026)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
by: Cesco, Arnaldo, et al.
Published: (2021)