Copertina

Existential and positive games: a comonadic and axiomatic view

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Abramsky, Samson, Laure, Thomas, Reggio, Luca
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

An invitation to game comonads
di: Abramsky, Samson, et al.
Pubblicazione: (2024)

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

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

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

Combining contextuality and causality: a game semantics approach
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

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

Finitely accessible arboreal adjunctions and Hintikka formulae
di: Reggio, Luca, et al.
Pubblicazione: (2023)

Paraconsistent Existential Graphs Gamma Peirce System
di: Sierra-Aristizabal, Manuel
Pubblicazione: (2023)

Commutation Groups and State-Independent Contextuality
di: Abramsky, Samson, et al.
Pubblicazione: (2026)

Existential Positive Transductions of Sparse Graphs
di: Mählmann, Nikolas, et al.
Pubblicazione: (2026)

Reasoning under uncertainty in the game of Cops and Robbers
di: Li, Dazhu, et al.
Pubblicazione: (2025)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
di: Ken, Eitetsu, et al.
Pubblicazione: (2024)

An axiomatization of truth and paradoxicality
di: Castaldo, Luca
Pubblicazione: (2025)

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

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
di: Ma, Zhifeng, et al.
Pubblicazione: (2024)

Matching logic -- a new axiomatization
di: Leuştean, Laurenţiu, et al.
Pubblicazione: (2025)

CTL* Verification and Synthesis using Existential Horn Clauses
di: Carelli, Mishel, et al.
Pubblicazione: (2024)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
di: Gallego-Hernández, Jorge, et al.
Pubblicazione: (2025)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
di: Nakamura, Yoshiki
Pubblicazione: (2023)

Proof complexity of positive branching programs
di: Das, Anupam, et al.
Pubblicazione: (2021)

Random state comonads encode cellular automata evaluation
di: Sas, Madalina I, et al.
Pubblicazione: (2025)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
di: Takahata, Kanta, et al.
Pubblicazione: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
di: Powell, Thomas
Pubblicazione: (2023)

The Existential Theory of the Reals with Summation Operators
di: Bläser, Markus, et al.
Pubblicazione: (2024)

An ecumenical view of proof-theoretic semantics
di: Nascimento, Victor, et al.
Pubblicazione: (2023)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
di: Gerlach, Lukas
Pubblicazione: (2026)

Existential Notation3 Logic
di: Arndt, Dörthe, et al.
Pubblicazione: (2023)

Consistent Update Synthesis via Privatized Beliefs
di: Schlögl, Thomas, et al.
Pubblicazione: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

First-order logic axiomatization of metric graph theory
di: Chalopin, Jérémie, et al.
Pubblicazione: (2022)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
di: Bilotta, Antonella
Pubblicazione: (2025)

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

First-order Logic with Being a Thesis Modal Operator
di: Łyczak, Marcin
Pubblicazione: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

A concrete model for a typed linear algebraic lambda calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
di: Liang, Xiaolong, et al.
Pubblicazione: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
di: Oda, Yukihiro
Pubblicazione: (2025)

Formula size game and model checking for modal substitution calculus
di: Ahvonen, Veeti, et al.
Pubblicazione: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)