Modelling knowledge and action in distributed systems
From MaRDI portal
Publication:1262142
DOI10.1007/BF01784885zbMath0685.68076OpenAlexW2150853278MaRDI QIDQ1262142
Joseph Y. Halpern, Ronald Fagin
Publication date: 1989
Published in: Distributed Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01784885
Related Items
Quantified epistemic logics for reasoning about knowledge in multi-agent systems, On ambiguities in the interpretation of game trees, Actions on belief, Integration of weighted knowledge bases, Common knowledge and update in finite environments, Modeling belief in dynamic systems. I: Foundations, Group Belief, To know or not to know: Epistemic approaches to security protocol verification, A computer scientist looks at game theory., Knowledge and common knowledge in a Byzantine environment: Crash failures, Unnamed Item, Knowledge-based programs, A note on knowledge-based programs and specifications, Using counterfactuals in knowledge-based programming, The power of logical clock abstractions, Concurrent common knowledge: Defining agreement for asynchronous systems, Stit semantics for epistemic notions based on information disclosure in interactive settings, INTRANSITIVITY AND VAGUENESS, Action and knowledge in alternating-time temporal logic, A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems, Strongly analytic tableaux for normal modal logics, Knowledge and Local Actions, REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION, Wait-free implementations in message-passing systems, View-based explicit knowledge, Common knowledge revisited, Self-stabilizing extensions for message-passing systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formulation of Bayesian analysis for games with incomplete information
- On interprocess communication. I: Basic formalism
- How processes learn
- Cheating husbands and other stories: A case study of knowledge, action, and communication
- Modeling concurrency with partial orders
- Belief, awareness, and limited reasoning
- Programming simultaneous actions using common knowledge
- The complexity of reasoning about knowledge and time. I: Lower bounds
- On describing the behavior and implementation of distributed systems
- A calculus of communicating systems
- Bounds on the size and transmission rate of communications protocols
- Agreeing to disagree
- First-order dynamic logic
- A universal interconnection pattern for parallel computers
- Implementation of simultaneous memory address access in models that forbid it
- Parallelism in random access machines
