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