Pages that link to "Item:Q2971701"
From MaRDI portal
The following pages link to The Logic of Public Announcements, Common Knowledge, and Private Suspicions (Q2971701):
Displayed 50 items.
- Logical dynamics of belief change in the community (Q2515780) (← links)
- The undecidability of iterated modal relativization (Q2574887) (← links)
- Graded epistemic logic with public announcement (Q2669241) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- Tableau Method and NEXPTIME-Completeness of DEL-Sequents (Q2825404) (← links)
- Modal Predicates and Coequations (Q2842557) (← links)
- Composing models (Q2901220) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Dynamic Epistemic Logic and Temporal Modality (Q2902940) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- Belief Update as Social Choice (Q2902945) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- Language Games (Q2963989) (← links)
- Three Steps (Q3092292) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Knowledge and Action in Semi-public Environments (Q3093999) (← links)
- DEL Planning and Some Tractable Cases (Q3094006) (← links)
- Logics of Belief over Weighted Structures (Q3094008) (← links)
- Public Announcement Logic with Distributed Knowledge (Q3094018) (← links)
- Terminating Tableaux for Dynamic Epistemic Logics (Q3185765) (← links)
- Group Knowledge in Interrogative Epistemology (Q3299574) (← links)
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (Q3299577) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- Hintikka’s Knowledge and Belief in Flux (Q3299582) (← links)
- A Dynamic Logic of Interrogative Inquiry (Q3305312) (← links)
- (Q3384879) (← links)
- Learning Actions Models: Qualitative Approach (Q3457685) (← links)
- A Note on Reliability-Based Preference Dynamics (Q3457697) (← links)
- A General Framework for Modal Correspondence in Dynamic Epistemic Logic (Q3457711) (← links)
- Model Transformers for Dynamical Systems of Dynamic Epistemic Logic (Q3457715) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- Epistemic Updates on Bilattices (Q3457727) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- Propositional Dynamic Logic as a Logic of Belief Revision (Q3511454) (← links)
- From DEL to EDL: Exploring the Power of Converse Events (Q3524930) (← links)
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ (Q3580674) (← links)
- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes (Q3582736) (← links)
- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points (Q3638279) (← links)
- The case of the hidden hand (Q3647237) (← links)
- Expressivity and completeness for public update logics via reduction axioms (Q3647272) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision (Q4917986) (← links)
- The dynamics of information exchange dialogues (Q4923575) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)
- Contraction, Revision, Expansion: Representing Belief Change Operations (Q4982655) (← links)