:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Rensink, Arend, Corradini, Andrea
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2408.06196
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Visualising CTL Witnesses and Counterexamples -- Extended Version
by: Rensink, Arend
Published: (2026)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
by: König, Barbara, et al.
Published: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
by: Stoltenow, Lara, et al.
Published: (2024)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

Nested Sequents for Quasi-transitive Modal Logics
by: Marin, Sonia, et al.
Published: (2024)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
by: Barkowsky, Matthias, et al.
Published: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
by: Lyon, Tim S.
Published: (2023)

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

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

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

Trade-offs between classical and quantum space using spooky pebbling
by: Quist, Arend-Jan, 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)

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

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
by: Lyon, Tim S.
Published: (2022)

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

Nested-sequent Calculus for Modal Logic MB
by: Kawano, Tomoaki
Published: (2024)

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

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

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

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

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

A Category-Theoretic Perspective on Approximation Fixpoint Theory
by: Pollaci, Samuele
Published: (2025)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
by: Imaz, Gonzalo E.
Published: (2024)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
by: Maniwa, Akinori, et al.
Published: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
by: Aceto, Luca, et al.
Published: (2025)

Logic of Awareness for Nested Knowledge
by: Kubono, Yudai
Published: (2024)

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

Univalent Double Categories
by: van der Weide, Niels, et al.
Published: (2023)

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

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
by: Lyon, Tim S.
Published: (2026)

Elgot Categories and Abacus Programs
by: Nester, Chad
Published: (2025)

Classical Distributive Restriction Categories
by: Cockett, Robin, et al.
Published: (2023)

Coinductive Streams in Monoidal Categories
by: Di Lavore, Elena, et al.
Published: (2022)

The Guarded Fragment with Nested Equivalences
by: Fiuk, Oskar
Published: (2026)

The Category of Operator Spaces and Complete Contractions
by: Lindenhovius, Bert, et al.
Published: (2024)

Promonads and String Diagrams for Effectful Categories
by: Román, Mario
Published: (2022)

Enriched Categories for Parameterized Circuit Semantics
by: Wesley, Scott
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)