Copertina

Collusion Relations and their Applications to Balance Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Joinet, Jean-Baptiste, Olarte, Carlos
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Timed Strategies for Real-Time Rewrite Theories
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

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

A Constraint Opinion Model
di: Gadducci, Fabio, et al.
Pubblicazione: (2025)

Efficient Decision Procedures for RNmatrix Semantics
di: Leme, Renato R., et al.
Pubblicazione: (2026)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
di: Freiman, Robert, et al.
Pubblicazione: (2024)

The Modal Cube Revisited: Semantics without Worlds (Technical Report)
di: Leme, Renato, et al.
Pubblicazione: (2025)

Extracting an $\mathbb{N}$-filtered differential modality from a differential modality
di: Vienney, Jean-Baptiste
Pubblicazione: (2026)

An algebra modality admitting countably many deriving transformations
di: Vienney, Jean-Baptiste
Pubblicazione: (2025)

A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
di: Vienney, Jean-Baptiste
Pubblicazione: (2023)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
di: Olarte, Carlos, et al.
Pubblicazione: (2024)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
di: Arias, Jaime, et al.
Pubblicazione: (2024)

Verifying SQL Queries using Theories of Tables and Relations
di: Mohamed, Mudathir, et al.
Pubblicazione: (2024)

A Relational Theory of Grounding and a new Grounder for SMT
di: Carbonnelle, Pierre
Pubblicazione: (2026)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
di: Nakamura, Yoshiki
Pubblicazione: (2025)

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)

Characterizing Sets of Theories That Can Be Disjointly Combined
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
di: Hermes, Marc, et al.
Pubblicazione: (2023)

Non-Derivability Results in Polymorphic Dependent Type Theory
di: Geuvers, Herman
Pubblicazione: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
di: Iemhoff, Rosalie, et al.
Pubblicazione: (2023)

A Naive Encoding of Russell's Paradox in Type Theory
di: Qu, Zhuoyuan
Pubblicazione: (2025)

A Behavioral Theory for Distributed Systems with Weak Recovery
di: Fabbretti, Giovanni, et al.
Pubblicazione: (2024)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
di: Hartonas, Chrysafis
Pubblicazione: (2021)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

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

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
di: Schewe, Klaus-Dieter, et al.
Pubblicazione: (2025)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
di: Sabelli, Pietro
Pubblicazione: (2024)

Meta-Mathematics of Computational Complexity Theory
di: Oliveira, Igor C.
Pubblicazione: (2025)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
di: Takahashi, Yuta
Pubblicazione: (2024)

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

Completeness of Relational Algebra via Cylindric Algebra
di: Laštovička, Jan
Pubblicazione: (2026)