A knowledge based semantics of messages
From MaRDI portal
Recommendations
Cited in
(62)- Reasoning with protocols under imperfect information
- Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
- Deontic epistemic stit logic distinguishing modes of mens rea
- A logic for diffusion in social networks
- McCarthy variations in a modal key
- Modeling reasoning in a social setting
- On interactive knowledge with bounded communication
- Constructive agents
- Belief change in branching time: AGM-consistency and iterated revision
- Logic and learning
- Finite identification from the viewpoint of epistemic update
- Knowledge and communication: A first-order theory
- The information in intuitionistic logic
- Introspection as an action in relational models
- Parikh and Wittgenstein
- The logic of gossiping
- A logic for extensional protocols
- Non-circular proofs and proof realization in modal logic
- Merging frameworks for interaction
- Sentences, belief and logical omniscience, or what does deduction tell us?
- Three steps
- Knowledge and local actions
- Sentences, belief and logical omniscience, or what does deduction tell us?
- A closeness- and priority-based logical study of social network creation
- Computation as social agency: what, how and who
- Diversity of agents and their interaction
- A logical study of group-size based social network creation
- scientific article; zbMATH DE number 2233212 (Why is no real title available?)
- A simple logic of functional dependence
- Intensional protocols for dynamic epistemic logic
- Automata for epistemic temporal logic with synchronous communication
- Preface to the special issue: Temporal logics of agency
- Efficient analysis of belief properties in process algebra
- Dynamic logics of knowledge and access
- Knowledge, behavior, and rationality: rationalizability in epistemic games
- The logic of knowledge based obligation
- Functional systems in the context of temporal×modal logics with indexed flows
- To know or not to know: Epistemic approaches to security protocol verification
- Reasoning about permitted announcements
- Decisions, Actions, and Games: A Logical Perspective
- Dynamic Epistemic Logic as a Substructural Logic
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- Dynamic epistemic logic with branching temporal structures
- Epistemic protocols for dynamic gossip
- Dynamic logic for belief revision
- Tableaux for single-agent epistemic PDL with perfect recall and no miracles
- The power of knowledge in games
- A history based logic for dynamic preference updates
- Temporal Aspects of the Dynamics of Knowledge
- Hidden protocols: modifying our expectations in an evolving world
- Logics of temporal-epistemic actions
- On revocable and irrevocable belief revision
- Some comments on history based structures
- Merging DEL and ETL
- The pleasure of gossip
- Epistemic reasoning in life and literature
- Logic for update products and steps into the past
- Exploring the power of converse events
- BISIMULATIONS FOR KNOWING HOW LOGICS
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
- Two logical faces of belief revision
- Logics of communication and change
This page was built for publication: A knowledge based semantics of messages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1403408)
