Defining logical obstruction with fixpoints in epistemic logic
From MaRDI portal
Publication:6645916
DOI10.1007/S41468-023-00151-8MaRDI QIDQ6645916
Publication date: 29 November 2024
Published in: Journal of Applied and Computational Topology (Search for Journal in Brave)
Logics of knowledge and belief (including belief change) (03B42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Results on the propositional \(\mu\)-calculus
- Dynamic epistemic logic
- The complexity of reasoning about knowledge and time. I: Lower bounds
- Neuer Beweis für die Invarianz der Dimensionszahl und des Gebietes.
- Asynchronous computability theorems for \(t\)-resilient systems
- Chromatic subdivision of a simplicial complex
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
- A course in topological combinatorics
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- The topological structure of asynchronous computability
- Read-Write Memory and k-Set Consensus as an Affine Task
- Schlegel Diagram and Optimizable Immediate Snapshot Protocol
- Knowledge and common knowledge in a distributed environment
- Impossibility of distributed consensus with one faulty process
- Algebraic spans
- Generalized FLP impossibility result for t-resilient asynchronous computations
- Set consensus using arbitrary objects (preliminary version)
- Immediate atomic snapshots and fast renaming
- A topological perspective on distributed network algorithms
- Combinatorial algebraic topology
- Why Extension-Based Proofs Fail
- Wait-free solvability of equality negation tasks
- Communication pattern models: an extension of action models for dynamic-network distributed systems
This page was built for publication: Defining logical obstruction with fixpoints in epistemic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6645916)
