Cover Image

Consistent Update Synthesis via Privatized Beliefs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Schlögl, Thomas, Kuznets, Roman, Cignarale, Giorgio
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Actions to Obligations: A Deontic Action Model Logic
by: Cignarale, Giorgio
Published: (2026)

A Dynamic Deontic Simplicial Logic for Joint Commitments
by: Cignarale, Giorgio, et al.
Published: (2026)

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

Interpolation in Proof Theory
by: van der Giessen, Iris, et al.
Published: (2026)

Communication Modalities
by: Kuznets, Roman
Published: (2024)

Impure Simplicial Complexes: Complete Axiomatization
by: Randrianomentsoa, Rojo, et al.
Published: (2022)

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

Simplicial Belief
by: Cachin, Christian, et al.
Published: (2026)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

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

Self-Correcting Gossip Protocols
by: Cignarale, Giorgio, et al.
Published: (2026)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
by: Cignarale, Giorgio, et al.
Published: (2025)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Cyclic Proofs for iGL via Corecursion
by: Miranda, Borja Sierra
Published: (2023)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

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

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

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

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

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Small Decision Trees for MDPs with Deductive Synthesis
by: Andriushchenko, Roman, et al.
Published: (2025)

Network Satisfaction Problems Solved by k-Consistency
by: Bodirsky, Manuel, et al.
Published: (2023)

A Sufficient Epistemic Condition for Solving Stabilizing Agreement
by: Cignarale, Giorgio, et al.
Published: (2024)

From Coalgebraic Determinization to Belief Construction for Partial Observability
by: Kori, Mayuko, et al.
Published: (2026)

Belief in Simplicial Complexes
by: Sink, Philip, et al.
Published: (2025)

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

Logics of False Belief and Radical Ignorance
by: Fan, Jie
Published: (2024)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)