Cover Image

Simplicial Belief

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cachin, Christian, Lehnherr, David, Studer, Thomas
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synergistic Knowledge
by: Cachin, Christian, et al.
Published: (2024)

Hypergraph Semantics for Doxastic Logics
by: van Ditmarsch, Hans, et al.
Published: (2025)

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

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

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

A Spatial Logic for Simplicial Models
by: Loreti, Michele, et al.
Published: (2021)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
by: Bezhanishvili, Nick, et al.
Published: (2024)

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

A Rocq Formalization of Simplicial Lagrange Finite Elements
by: Boldo, Sylvie, et al.
Published: (2026)

Knowledge and Common Knowledge of Strategies
by: Miranda, Borja Sierra, et al.
Published: (2025)

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

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

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

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

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
by: Yang, Yuanzhe
Published: (2025)

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

Providing personalized Explanations: a Conversational Approach
by: Luo, Jieting, et al.
Published: (2023)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
by: Rosset, Aloïs, et al.
Published: (2024)

Graded Distributed Belief
by: Lorini, Emiliano, 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)

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

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Boolean basis, formula size, and number of modal operators
by: Berkholz, Christoph, et al.
Published: (2024)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

Integrating Belief Domains into Probabilistic Logic Programs
by: Azzolini, Damiano, et al.
Published: (2025)

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)

Did Turing prove the undecidability of the halting problem?
by: Hamkins, Joel David, et al.
Published: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)

Dynamic Cantor Derivative Logic
by: Fernández-Duque, David, et al.
Published: (2021)

Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

On Numbers of Simplicial Walks and Equivalent Canonizations for Graph Recognition
by: Černý, Marek
Published: (2026)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
by: Gheorghiu, Alexander V., et al.
Published: (2022)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Syntax and semantics of multi-adjoint normal logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)