Copertina

On Categories of Nested Conditions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rensink, Arend, Corradini, Andrea
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Visualising CTL Witnesses and Counterexamples -- Extended Version
di: Rensink, Arend
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

Linear Arboreal Categories
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

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

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

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

Trade-offs between classical and quantum space using spooky pebbling
di: Quist, Arend-Jan, et al.
Pubblicazione: (2024)

Nested-sequent Calculus for Modal Logic MB
di: Kawano, Tomoaki
Pubblicazione: (2024)

String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026)

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

Aczel-Mendler Bisimulations in a Regular Category
di: Dubut, Jeremy
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

Logic of Awareness for Nested Knowledge
di: Kubono, Yudai
Pubblicazione: (2024)

Nested Sequents for Provability Logic GLP
di: Shamkanov, Daniyar
Pubblicazione: (2014)

Univalent Double Categories
di: van der Weide, Niels, et al.
Pubblicazione: (2023)

Elgot Categories and Abacus Programs
di: Nester, Chad
Pubblicazione: (2025)

Classical Distributive Restriction Categories
di: Cockett, Robin, et al.
Pubblicazione: (2023)

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

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

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

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

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

Enriched Categories for Parameterized Circuit Semantics
di: Wesley, Scott
Pubblicazione: (2025)

The Guarded Fragment with Nested Equivalences
di: Fiuk, Oskar
Pubblicazione: (2026)

Equivalence and Conditional Independence in Atomic Sheaf Logic
di: Simpson, Alex
Pubblicazione: (2024)