A little knowledge goes a long way
From MaRDI portal
Publication:4302799
DOI10.1145/146637.146638zbMath0799.68024OpenAlexW2045478049MaRDI QIDQ4302799
Joseph Y. Halpern, Lenore D. Zuck
Publication date: 13 November 1994
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/146637.146638
protocolscorrectness proofsreasoning about knowledgeknowledge-based protocolsequence transmission problem
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (19)
Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic ⋮ A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ Common knowledge and update in finite environments ⋮ Unnamed Item ⋮ The logic of gossiping ⋮ Priority scheduling of distributed systems based on model checking ⋮ Knowledge-based programs ⋮ A note on knowledge-based programs and specifications ⋮ Using counterfactuals in knowledge-based programming ⋮ A knowledge-based analysis of global function computation ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Logical classification of distributed algorithms (Bakery algorithms as an example) ⋮ Knowledge Based Scheduling of Distributed Systems ⋮ Positive announcements ⋮ On Decidability of a Logic of Gossips ⋮ A model of reasoning about knowledge ⋮ Naming and identity in epistemic logic. II: A first-order logic for naming ⋮ Knowledge in shared memory systems. ⋮ Space-time dynamic of normalized doxatons: Automata models of pathological collective mentality
This page was built for publication: A little knowledge goes a long way
