A knowledge based semantics of messages
From MaRDI portal
Publication:1403408
DOI10.1023/A:1025007018583zbMath1031.03021MaRDI QIDQ1403408
Rohit Parikh, Ramaswamy Ramanujam
Publication date: 1 September 2003
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Related Items
The information in intuitionistic logic, On interactive knowledge with bounded communication, A logic for extensional protocols, Exploring the Power of Converse Events, Computation as social agency: what, how and who, Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles, 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09, Logics of communication and change, BISIMULATIONS FOR KNOWING HOW LOGICS, Efficient Program Transformers for Translating LCC to PDL, A closeness- and priority-based logical study of social network creation, Merging DEL and ETL, Automata for epistemic temporal logic with synchronous communication, Preface to the special issue: Temporal logics of agency, Constructive agents, A logical study of group-size based social network creation, To know or not to know: Epistemic approaches to security protocol verification, Dynamic logics of knowledge and access, Belief change in branching time: AGM-consistency and iterated revision, Logic for update products and steps into the past, Sentences, Belief and Logical Omniscience, or What Does Deduction Tell Us?, A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’, A history based logic for dynamic preference updates, The logic of gossiping, Reasoning about permitted announcements, Knowledge and communication: A first-order theory, Parikh and Wittgenstein, The Pleasure of Gossip, THE POWER OF KNOWLEDGE IN GAMES, Hidden protocols: modifying our expectations in an evolving world, Epistemic protocols for dynamic gossip, A simple logic of functional dependence, Logics of temporal-epistemic actions, Some comments on history based structures, SENTENCES, BELIEF AND LOGICAL OMNISCIENCE, OR WHAT DOES DEDUCTION TELL US?, McCarthy variations in a modal key, Deontic epistemic stit logic distinguishing modes of mens rea, Introspection as an action in relational models, Finite identification from the viewpoint of epistemic update, Modeling reasoning in a social setting, A logic for diffusion in social networks, The logic of knowledge based obligation, Decisions, Actions, and Games: A Logical Perspective, Knowledge, behavior, and rationality: rationalizability in epistemic games, Diversity of agents and their interaction, Intensional protocols for dynamic epistemic logic, Knowledge and Local Actions, Three Steps, Functional systems in the context of temporal×modal logics with indexed flows, REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION, On Revocable and Irrevocable Belief Revision, Two Logical Faces of Belief Revision, Dynamic logic for belief revision, Dynamic epistemic logic with branching temporal structures, Merging frameworks for interaction, Temporal Aspects of the Dynamics of Knowledge, Logic and Learning, Dynamic Epistemic Logic as a Substructural Logic, Epistemic Reasoning in Life and Literature, Non-circular proofs and proof realization in modal logic
