Imagen de Portada

First-Order Coalition Logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Catta, Davide, Galimullin, Rustam, Murano, Aniello
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science 03B70, 03B45 F.4.1; I.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Varieties of Distributed Knowledge
por: Galimullin, Rustam, et al.
Publicado: (2025)

Agent Interpolation for Knowledge
por: Bílková, Marta, et al.
Publicado: (2025)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
por: Catta, Davide, et al.
Publicado: (2026)

Which are the True Defeasible Logics?
por: Maher, Michael J.
Publicado: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
por: Férée, Hugo, et al.
Publicado: (2024)

Towards Weak Stratification for Logics of Definitions
por: Guermond, Nathan
Publicado: (2026)

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
por: Häggblom, Matilda
Publicado: (2025)

Axiomatizing approximate inclusion
por: Häggblom, Matilda
Publicado: (2025)

Axiomatization of approximate exclusion
por: Häggblom, Matilda
Publicado: (2024)

Modal logic, fundamentally
por: Holliday, Wesley H.
Publicado: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
por: Tang, Shuai, et al.
Publicado: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
por: Tang, Shuai
Publicado: (2025)

On the Complexity and Properties of Preferential Propositional Dependence Logic
por: Sauerwald, Kai, et al.
Publicado: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
por: Kontinen, Juha, et al.
Publicado: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
por: Sauerwald, Kai, et al.
Publicado: (2026)

Bounded Model Checking for Unbounded Client Server Systems
por: Phawade, Ramchandra, et al.
Publicado: (2022)

Defeasible Reasoning via Datalog$^\neg$
por: Maher, Michael J.
Publicado: (2021)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
por: Gasquet, Olivier
Publicado: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
por: Bodirsky, Manuel, et al.
Publicado: (2024)

Encoding Argumentation Frameworks to Propositional Logic Systems
por: Tang, Shuai, et al.
Publicado: (2025)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
por: Hausmann, Daniel, et al.
Publicado: (2022)

Support + Belief = Decision Trust
por: Aldini, Alessandro, et al.
Publicado: (2024)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
por: Sochański, Michał, et al.
Publicado: (2025)

Normal forms in cubical type theory
por: Huang, Xu
Publicado: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
por: Nakamura, Yuki
Publicado: (2026)

A novel framework for systematic propositional formula simplification based on existential graphs
por: de Mas, Jordina Francès, et al.
Publicado: (2024)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
por: Alpay, Faruk, et al.
Publicado: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
por: Lopez, Aliaume
Publicado: (2024)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
por: Poernomo, Iman
Publicado: (2025)

ASP Chef grows Mustache to look better
por: Alviano, Mario, et al.
Publicado: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
por: Forster, Jonas, et al.
Publicado: (2023)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
por: Borzechowski, Manfred, et al.
Publicado: (2025)

Knowability as continuity: a topological account of informational dependence
por: Baltag, Alexandru, et al.
Publicado: (2024)

On the expressive power of inquisitive epistemic logic
por: Ciardelli, Ivano, et al.
Publicado: (2023)

Uniform Interpolation
por: van Gool, Sam
Publicado: (2025)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
por: Schellhorn, Daniel Romero, et al.
Publicado: (2026)

Complexity of some modal logics of density (extended version)
por: Balbiani, Philippe, et al.
Publicado: (2025)

FMP for QD logics. A wrong proof
por: Gasquet, Olivier
Publicado: (2025)

Logics of polyhedral reachability
por: Bezhanishvili, Nick, et al.
Publicado: (2024)