Copertina

Uniform Agent-interpolation of Distributed Knowledge

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Su, Youan
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

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
di: Su, Youan
Pubblicazione: (2025)

Uniform interpolation with constructive diamond
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

Uniform Interpolation in Distributed Knowledge Modal Logics
di: Wang, Kexu, et al.
Pubblicazione: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
di: Nishimura, Yuki
Pubblicazione: (2024)

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

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
di: Férée, Hugo, et al.
Pubblicazione: (2026)

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

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

Logic of (Common or Distributed) Knowledge
di: Shi, Chenwei
Pubblicazione: (2025)

The interpolant existence problem for weak K4 and difference logic
di: Kurucz, Agi, et al.
Pubblicazione: (2024)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
di: Sofronie-Stokkermans, Viorica
Pubblicazione: (2025)

Distribution-Free Normal Modal Logics
di: Hartonas, Chrysafis
Pubblicazione: (2024)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
di: Zeyen, Olivier, et al.
Pubblicazione: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
di: van der Giessen, Iris, et al.
Pubblicazione: (2023)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
di: Indrzejczak, Andrzej, et al.
Pubblicazione: (2024)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
di: Chrysafis, et al.
Pubblicazione: (2025)

Towards Uniform Certification in QBF
di: Chew, Leroy, et al.
Pubblicazione: (2022)

Uniform interpolation for interpretability logic
di: Horvat, Sebastijan, et al.
Pubblicazione: (2025)

Uniformity within Parameterized Circuit Classes
di: Hegeman, Steef, et al.
Pubblicazione: (2025)

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
di: Fiuk, Oskar, et al.
Pubblicazione: (2024)

Topological Semantics for Common Inductive Knowledge
di: Namachivayam, Siddharth
Pubblicazione: (2026)

Distributed Knowledge in Simplicial Models
di: Goubault, Éric, et al.
Pubblicazione: (2026)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
di: Wałęga, Przemysław Andrzej, et al.
Pubblicazione: (2026)

Distributive Laws of Monadic Containers
di: Purdy, Chris, et al.
Pubblicazione: (2025)

Synergistic Knowledge
di: Cachin, Christian, et al.
Pubblicazione: (2024)

Knowledge on a Budget
di: Majer, Ondrej, et al.
Pubblicazione: (2026)

Uniform Realizability Interpretations
di: Berger, Ulrich, et al.
Pubblicazione: (2026)

A Uniform Language to Explain Decision Trees
di: Arenas, Marcelo, et al.
Pubblicazione: (2023)

Group Knowledge of Hypothetical Values
di: Baltag, Alexandru, et al.
Pubblicazione: (2025)

Common Knowledge, Sailboats, and Publicity
di: Bozdag, Sena, et al.
Pubblicazione: (2025)

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems
di: Barto, Libor, et al.
Pubblicazione: (2026)

Minimal Model Counting via Knowledge Compilation
di: Kabir, Mohimenul
Pubblicazione: (2024)

Knowledge Reasoning Involving Four Types of Syllogisms
di: Wei, Long, et al.
Pubblicazione: (2025)

Distributed First Order Logic
di: Ghidini, Chiara, et al.
Pubblicazione: (2015)

Distributional Probabilistic Model Checking
di: Elsayed-Aly, Ingy, et al.
Pubblicazione: (2023)

On Knowledge Compilation For Two-Variable First-Order Logic
di: Meng, Qiaolan, et al.
Pubblicazione: (2026)

A Logic of Knowledge and Justifications, with an Application to Computational Trust
di: Genco, Francesco A.
Pubblicazione: (2024)

Distributed controller synthesis for deadlock avoidance
di: Gimbert, Hugo, et al.
Pubblicazione: (2022)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)