Pages that link to "Item:Q1357672"

The following pages link to Reasoning about information change (Q1357672):

Displaying 45 items.

• Exploring the Power of Converse Events (Q2902941) (← links)
• Reasoning About Substructures and Games (Q2957764) (← links)
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions (Q2971701) (← links)
• A Qualitative Theory of Dynamic Interactive Belief Revision (Q2971702) (← links)
• A Modal Framework for Relating Belief and Signed Information (Q3092293) (← links)
• Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
• On Axiomatizations of PAL (Q3094017) (← links)
• ARROW UPDATE LOGIC (Q3224046) (← links)
• Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
• Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
• Epistemic Logic with Evidence and Relevant Alternatives (Q3299591) (← links)
• A Dynamic Logic of Interrogative Inquiry (Q3305312) (← links)
• Update as Evidence: Belief Expansion (Q3455850) (← links)
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468) (← links)
• From DEL to EDL: Exploring the Power of Converse Events (Q3524930) (← links)
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ (Q3580674) (← links)
• Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
• Communication among agents: a way to revise beliefs in KD45 Kripke structures★ (Q3647217) (← links)
• A model for updates in a multi-agent setting (Q3647269) (← links)
• Expressivity and completeness for public update logics via reduction axioms (Q3647272) (← links)
• Reasoning about knowledge and messages in asynchronous multi-agent systems (Q4559603) (← links)
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
• 2002 Annual Conference of the Australasian Association for Logic (Q4650308) (← links)
• Structures of Oppositions in Public Announcement Logic (Q4915594) (← links)
• On Revocable and Irrevocable Belief Revision (Q4982658) (← links)
• (Q5016796) (← links)
• (Q5020586) (← links)
• (Q5028475) (← links)
• The Dynamic Epistemic Logic for Actual Knowledge (Q5126206) (← links)
• Modelling Multi-Agent Epistemic Planning in ASP (Q5140002) (← links)
• Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
• Epistemic Informativeness (Q5213658) (← links)
• Channel Theoretic Reflections on Dynamic Logics of Speech Acts (Q5213674) (← links)
• Logic and Probabilistic Update (Q5249676) (← links)
• A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)
• A formal model of multi-agent belief-interaction (Q5901494) (← links)
• A formal model of multi-agent belief-interaction (Q5920620) (← links)
• To be announced (Q6040661) (← links)
• Communication pattern logic: epistemic and topological views (Q6054065) (← links)
• An epistemic separation logic with action models (Q6117141) (← links)
• Dynamic epistemic logics for abstract argumentation (Q6147179) (← links)
• Depth-bounded Epistemic Logic (Q6199597) (← links)
• \textsc{delphic}: practical DEL planning via possibilities (Q6545564) (← links)
• A temporal logic for successive events (Q6562543) (← links)
• Knowledge representation: modalities, conditionals, and nonmonotonic reasoning (Q6602216) (← links)