:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rensink, Arend, Corradini, Andrea
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2408.06196
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Visualising CTL Witnesses and Counterexamples -- Extended Version
par: Rensink, Arend
Publié: (2026)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
par: König, Barbara, et autres
Publié: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
par: Stoltenow, Lara, et autres
Publié: (2024)

Left-Linear Rewriting in Adhesive Categories
par: Baldan, Paolo, et autres
Publié: (2024)

Nested Sequents for Quasi-transitive Modal Logics
par: Marin, Sonia, et autres
Publié: (2024)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
par: Barkowsky, Matthias, et autres
Publié: (2024)

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

On the Axioms of Arboreal Categories
par: Jakl, Tomáš, et autres
Publié: (2026)

Linear Arboreal Categories
par: Abramsky, Samson, et autres
Publié: (2023)

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

Trade-offs between classical and quantum space using spooky pebbling
par: Quist, Arend-Jan, et autres
Publié: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

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

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
par: Lyon, Tim S.
Publié: (2022)

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

Nested-sequent Calculus for Modal Logic MB
par: Kawano, Tomoaki
Publié: (2024)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
par: Koul, Prajval, et autres
Publié: (2025)

String Diagrams for Monoidal Categories, in Rocq
par: Pous, Damien
Publié: (2026)

Aczel-Mendler Bisimulations in a Regular Category
par: Dubut, Jeremy
Publié: (2023)

Nested Sequents for Provability Logic GLP
par: Shamkanov, Daniyar
Publié: (2014)

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

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

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
par: Imaz, Gonzalo E.
Publié: (2024)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
par: Maniwa, Akinori, et autres
Publié: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
par: Aceto, Luca, et autres
Publié: (2025)

Logic of Awareness for Nested Knowledge
par: Kubono, Yudai
Publié: (2024)

Proceedings Seventh International Conference on Applied Category Theory 2024
par: Johnson, Michael, et autres
Publié: (2025)

Univalent Double Categories
par: van der Weide, Niels, et autres
Publié: (2023)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
par: Pollaci, Samuele, et autres
Publié: (2024)

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

Elgot Categories and Abacus Programs
par: Nester, Chad
Publié: (2025)

Classical Distributive Restriction Categories
par: Cockett, Robin, et autres
Publié: (2023)

Coinductive Streams in Monoidal Categories
par: Di Lavore, Elena, et autres
Publié: (2022)

The Guarded Fragment with Nested Equivalences
par: Fiuk, Oskar
Publié: (2026)

The Category of Operator Spaces and Complete Contractions
par: Lindenhovius, Bert, et autres
Publié: (2024)

Promonads and String Diagrams for Effectful Categories
par: Román, Mario
Publié: (2022)

Enriched Categories for Parameterized Circuit Semantics
par: Wesley, Scott
Publié: (2025)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
par: De Domenico, Andrea, et autres
Publié: (2026)

Equivalence and Conditional Independence in Atomic Sheaf Logic
par: Simpson, Alex
Publié: (2024)