Logics of communication and change
From MaRDI portal
Publication:859825
DOI10.1016/j.ic.2006.04.006zbMath1120.03012OpenAlexW4213255959MaRDI QIDQ859825
Jan van Eijck, J. F. A. K. van Benthem, Barteld P. Kooi
Publication date: 22 January 2007
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://pure.rug.nl/ws/files/6701222/sdarticle.pdf
Related Items (only showing first 100 items - show all)
Logics of informational interactions ⋮ Formalising privacy policies in social networks ⋮ Predicate change. A study on the conservativity of conceptual change ⋮ Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains ⋮ Announcements to attentive agents ⋮ Composing models ⋮ A logic for extensional protocols ⋮ Logics of Rational Interaction ⋮ Exploring the Power of Converse Events ⋮ Logic and social cognition. The facts matter, and so do computational models ⋮ Computation as social agency: what, how and who ⋮ A Note on Reliability-Based Preference Dynamics ⋮ A General Framework for Modal Correspondence in Dynamic Epistemic Logic ⋮ Symbolic Model Checking for Dynamic Epistemic Logic ⋮ A Logic of Knowing How ⋮ Terminating Tableaux for Dynamic Epistemic Logics ⋮ Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ Arbitrary arrow update logic ⋮ Finitary S5-Theories ⋮ Efficient Program Transformers for Translating LCC to PDL ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ Action emulation ⋮ THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC ⋮ Resolving distributed knowledge ⋮ Merging DEL and ETL ⋮ Automata for epistemic temporal logic with synchronous communication ⋮ ARROW UPDATE LOGIC ⋮ Categories for Dynamic Epistemic Logic ⋮ Introducing reactive Kripke semantics and arc accessibility ⋮ ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES" ⋮ Completeness results for memory logics ⋮ The dynamics of awareness ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ The language of social software ⋮ Relativized common knowledge for dynamic epistemic logic ⋮ Propositional Dynamic Logic as a Logic of Belief Revision ⋮ State transition in multi-agent epistemic domains using answer set programming ⋮ Logic for update products and steps into the past ⋮ A logic for binary classifiers and their explanation ⋮ A Qualitative Theory of Dynamic Interactive Belief Revision ⋮ Bisimulation for conditional modalities ⋮ Reverse public announcement operators on expanded models ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes ⋮ Arrow update synthesis ⋮ A logic of goal-directed knowing how ⋮ Propositional dynamic logic for searching games with errors ⋮ A four-valued dynamic epistemic logic ⋮ Information dynamics and uniform substitution ⋮ On axiomatizations of public announcement logic ⋮ Agreeing to disagree in probabilistic dynamic epistemic~logic ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Comments to `Logics of public communications' ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ A PDL APPROACH FOR QUALITATIVE VELOCITY ⋮ Coalition and relativised group announcement logic ⋮ Game description language and dynamic epistemic logic compared ⋮ Inquisitive dynamic epistemic logic ⋮ Logics of temporal-epistemic actions ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth ⋮ Iterative information update and stability of strategies ⋮ What will they say? -- Public announcement games ⋮ Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes ⋮ McCarthy variations in a modal key ⋮ Norms as ascriptions of violations: an analysis in modal logic ⋮ Logic programming for finding models in the logics of knowledge and its applications: A case study ⋮ Introspection as an action in relational models ⋮ Finite identification from the viewpoint of epistemic update ⋮ Revocable belief revision ⋮ Modeling reasoning in a social setting ⋮ The logic of Pit ⋮ Completeness Results for Memory Logics ⋮ A simplicial complex model for dynamic epistemic logic to study distributed task computability ⋮ Opaque updates ⋮ Logical dynamics of belief change in the community ⋮ True lies ⋮ A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks ⋮ Intensional protocols for dynamic epistemic logic ⋮ Rethinking epistemic logic with belief bases ⋮ A Dynamic Logic of Institutional Actions ⋮ An action language for multi-agent domains ⋮ Probabilistic dynamic belief revision ⋮ Public and private communication are different: Results on relative expressivity ⋮ Schematic Validity in Dynamic Epistemic Logic: Decidability ⋮ DEL Planning and Some Tractable Cases ⋮ On Axiomatizations of PAL ⋮ THE EXPRESSIVE POWER OF MEMORY LOGICS ⋮ Dynamic logic for belief revision ⋮ Dynamic update with probabilities ⋮ Dynamic epistemic logic with branching temporal structures ⋮ Introspective forgetting ⋮ A dynamic epistemic framework for reasoning about conformant probabilistic plans ⋮ Merging frameworks for interaction ⋮ Dynamic epistemic logic with communication actions ⋮ Asynchronous knowledge with hidden actions in the situation calculus ⋮ Toward a theory of play: a logical perspective on games and interaction ⋮ A logic framework for reasoning with movement based on fuzzy qualitative representation
Cites Work
- Action emulation
- A knowledge based semantics of messages
- Logics for epistemic programs
- The undecidability of iterated modal relativization
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- On the Forms of the Predicates in the Theory of Constructive Ordinals
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Logics of communication and change
