Pages that link to "Item:Q1403408"

The following pages link to A knowledge based semantics of messages (Q1403408):

Displaying 50 items.

• Belief change in branching time: AGM-consistency and iterated revision (Q421352) (← links)
• Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
• Epistemic protocols for dynamic gossip (Q504511) (← links)
• Logics of temporal-epistemic actions (Q516250) (← links)
• McCarthy variations in a modal key (Q543607) (← links)
• Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
• Finite identification from the viewpoint of epistemic update (Q553305) (← links)
• Merging DEL and ETL (Q616038) (← links)
• Automata for epistemic temporal logic with synchronous communication (Q616040) (← links)
• Preface to the special issue: Temporal logics of agency (Q616042) (← links)
• To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
• Dynamic logics of knowledge and access (Q625719) (← links)
• Logic for update products and steps into the past (Q636377) (← links)
• Reasoning about permitted announcements (Q652739) (← links)
• The information in intuitionistic logic (Q833032) (← links)
• Logics of communication and change (Q859825) (← links)
• Diversity of agents and their interaction (Q1006512) (← links)
• Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
• Merging frameworks for interaction (Q1037376) (← links)
• Computation as social agency: what, how and who (Q1641025) (← links)
• Constructive agents (Q1688949) (← links)
• Introspection as an action in relational models (Q2011198) (← links)
• Modeling reasoning in a social setting (Q2016076) (← links)
• A logic for diffusion in social networks (Q2018607) (← links)
• Knowledge, behavior, and rationality: rationalizability in epistemic games (Q2042733) (← links)
• A closeness- and priority-based logical study of social network creation (Q2183577) (← links)
• A history based logic for dynamic preference updates (Q2209166) (← links)
• The logic of gossiping (Q2211849) (← links)
• A simple logic of functional dependence (Q2240545) (← links)
• Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
• Non-circular proofs and proof realization in modal logic (Q2349104) (← links)
• A logical study of group-size based social network creation (Q2423774) (← links)
• Knowledge and communication: A first-order theory (Q2457657) (← links)
• Some comments on history based structures (Q2475431) (← links)
• The logic of knowledge based obligation (Q2500829) (← links)
• On interactive knowledge with bounded communication (Q2901218) (← links)
• A logic for extensional protocols (Q2901223) (← links)
• Exploring the Power of Converse Events (Q2902941) (← links)
• Efficient Program Transformers for Translating LCC to PDL (Q2938499) (← links)
• Sentences, Belief and Logical Omniscience, or What Does Deduction Tell Us? (Q2971695) (← links)
• Three Steps (Q3092292) (← links)
• REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
• Parikh and Wittgenstein (Q3299831) (← links)
• The Pleasure of Gossip (Q3299841) (← links)
• Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles (Q3457707) (← links)
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047) (← links)
• SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US? (Q3580682) (← links)
• Decisions, Actions, and Games: A Logical Perspective (Q3601797) (← links)
• Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)
• Dynamic logic for belief revision (Q3647267) (← links)