Pages that link to "Item:Q1037376"

The following pages link to Merging frameworks for interaction (Q1037376):

Displaying 29 items.

• Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
• Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
• A Dynamic Logic of Interrogative Inquiry (Q3305312) (← links)
• Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles (Q3457707) (← links)
• Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (Q3457715) (← links)
• Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
• Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes (Q3582736) (← links)
• Decisions, Actions, and Games: A Logical Perspective (Q3601797) (← links)
• A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
• Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions* (Q4612412) (← links)
• Connecting dynamic epistemic and temporal epistemic logics (Q4925178) (← links)
• On Revocable and Irrevocable Belief Revision (Q4982658) (← links)
• Two Logical Faces of Belief Revision (Q4982661) (← links)
• (Q5015385) (← links)
• THE MODAL LOGIC OF STEPWISE REMOVAL (Q5065135) (← links)
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol (Q5213396) (← links)
• Knowledge and Local Actions (Q5213656) (← links)
• Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
• Logic and Learning (Q5249673) (← links)
• Logic and Game Theory (Q5249678) (← links)
• Logic and Complexity in Cognitive Science (Q5249690) (← links)
• Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
• DEL-sequents for progression (Q5891665) (← links)
• DEL-sequents for progression (Q5891666) (← links)
• Communication pattern logic: epistemic and topological views (Q6054065) (← links)
• Epistemic planning: perspectives on the special issue (Q6098843) (← links)
• Inexact knowledge and dynamic introspection (Q6147121) (← links)
• Graph games and logic design (Q6601767) (← links)
• \textit{De re} updates (Q6642569) (← links)