Pages that link to "Item:Q3477999"

The following pages link to Knowledge and common knowledge in a distributed environment (Q3477999):

Displaying 50 items.

• Contemporary epistemic logic and the Lockean thesis (Q301338) (← links)
• Arbitrary arrow update logic (Q343913) (← links)
• The topology of distributed adversaries (Q360277) (← links)
• No double discount: condition-based simultaneity yields limited gain (Q418187) (← links)
• A modal type theory for formalizing trusted communications (Q420842) (← links)
• Agreeing to disagree in probabilistic dynamic epistemic~logic (Q484932) (← links)
• Fast and compact self-stabilizing verification, computation, and fault detection of an MST (Q498670) (← links)
• Epistemic protocols for dynamic gossip (Q504511) (← links)
• Graph aggregation (Q514143) (← links)
• Feedback from nature: simple randomised distributed algorithms for maximal independent set selection and greedy colouring (Q518926) (← links)
• Infinite games with finite knowledge gaps (Q528188) (← links)
• Automata for epistemic temporal logic with synchronous communication (Q616040) (← links)
• Correlated knowledge: an epistemic-logic view on quantum entanglement (Q616826) (← links)
• To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
• Communication, timing, and common learning (Q629332) (← links)
• A knowledge-based analysis of global function computation (Q660991) (← links)
• The complexity of almost-optimal simultaneous coordination (Q675301) (← links)
• Simultaneity is harder than agreement (Q757014) (← links)
• A logic for multiple-source approximation systems with distributed knowledge base (Q763469) (← links)
• Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
• Knowledge and common knowledge in a Byzantine environment: Crash failures (Q918186) (← links)
• The shadow knows: refinement and security in sequential programs (Q923889) (← links)
• Efficient communication in the electronic mail game (Q932805) (← links)
• Single-bit messages are insufficient for data link over duplicating channels (Q963455) (← links)
• Acknowledged broadcasting in ad hoc radio networks (Q975548) (← links)
• Common knowledge does not have the Beth property (Q987837) (← links)
• Syntactic cut-elimination for common knowledge (Q1024553) (← links)
• Formal theories of knowledge in AI and robotics (Q1079021) (← links)
• How processes learn (Q1082071) (← links)
• Interpreting logics of knowledge in propositional dynamic logic (Q1096609) (← links)
• The synthesis of communication protocols (Q1098296) (← links)
• I'm OK if you're OK: On the notion of trusting commmunication (Q1114430) (← links)
• On the knowledge requirements of tasks (Q1128492) (← links)
• A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
• Formal timing analysis of distributed systems (Q1193762) (← links)
• Concurrent common knowledge: Defining agreement for asynchronous systems (Q1200914) (← links)
• Modelling knowledge and action in distributed systems (Q1262142) (← links)
• Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
• A model of reasoning about knowledge (Q1286688) (← links)
• Using knowledge to optimally achieve coordination in distributed systems (Q1292424) (← links)
• Wait-free implementations in message-passing systems (Q1292433) (← links)
• Common knowledge revisited (Q1295439) (← links)
• Knowledge in shared memory systems. (Q1312600) (← links)
• Belief as defeasible knowledge (Q1313959) (← links)
• Minimal knowledge problem: A new approach (Q1329374) (← links)
• Knowledge and best responses in games (Q1339218) (← links)
• A non-minimal but very weak axiomatization of common belief (Q1342230) (← links)
• The relationship between knowledge, belief, and certainty (Q1354089) (← links)
• Belief closure: A semantics of common knowledge for modal propositional logic (Q1377482) (← links)
• Common knowledge and update in finite environments (Q1383157) (← links)