Pages that link to "Item:Q3608740"

The following pages link to Dynamic Epistemic Logic and Knowledge Puzzles (Q3608740):

Displaying 50 items.

• On the use (and abuse) of logic in game theory (Q266655) (← links)
• A logic of separating modalities (Q290917) (← links)
• Contemporary epistemic logic and the Lockean thesis (Q301338) (← links)
• The undecidability of quantified announcements (Q310079) (← links)
• Arbitrary arrow update logic (Q343913) (← links)
• On the succinctness of some modal logics (Q360052) (← links)
• Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
• A formal model of emotion triggers: an approach for BDI agents (Q375310) (← links)
• Action emulation (Q375313) (← links)
• Logical omniscience as infeasibility (Q392271) (← links)
• Evidence and plausibility in neighborhood structures (Q392275) (← links)
• Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
• Completeness results for memory logics (Q408552) (← links)
• Time and defeasibility in FIPA ACL semantics (Q456719) (← links)
• Refinement modal logic (Q476194) (← links)
• A DDL approach to pluralistic ignorance and collective belief (Q484116) (← links)
• Some topological properties of paraconsistent models (Q484905) (← links)
• On axiomatizations of public announcement logic (Q484925) (← links)
• Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
• Exploring the tractability border in epistemic tasks (Q484931) (← links)
• Agreeing to disagree in probabilistic dynamic epistemic~logic (Q484932) (← links)
• Dynamics of lying (Q484939) (← links)
• Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
• Epistemic protocols for dynamic gossip (Q504511) (← links)
• The interrogative model of inquiry meets dynamic epistemic logics (Q514587) (← links)
• AGM 25 years. Twenty-five years of research in belief change (Q535321) (← links)
• Logic in general philosophy of science: Old things and new things (Q542119) (← links)
• Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124) (← links)
• Iterative information update and stability of strategies (Q542135) (← links)
• What will they say? -- Public announcement games (Q542137) (← links)
• Iterated belief change in the situation calculus (Q543588) (← links)
• McCarthy variations in a modal key (Q543607) (← links)
• A logic for reasoning about counterfactual emotions (Q543627) (← 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)
• Dynamic logics of knowledge and access (Q625719) (← links)
• Reasoning about permitted announcements (Q652739) (← links)
• Where logic and agents meet (Q657584) (← links)
• Agreement theorems in dynamic-epistemic logic (Q692182) (← links)
• Conditioning and interpretation shifts (Q694492) (← links)
• A logic of plausible justifications (Q744992) (← links)
• Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
• Predicate change. A study on the conservativity of conceptual change (Q830397) (← links)
• Logics for belief as maximally plausible possibility (Q831224) (← links)
• The information in intuitionistic logic (Q833032) (← links)
• Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
• Logical theories of intention and the database perspective (Q843770) (← links)
• A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
• Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)