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):
Displaying 44 items.
- Contraction, Revision, Expansion: Representing Belief Change Operations (Q4982655) (← links)
- On Revocable and Irrevocable Belief Revision (Q4982658) (← links)
- Two Logical Faces of Belief Revision (Q4982661) (← links)
- The Mathematics of Text Structure (Q5014597) (← links)
- (Q5015396) (← links)
- (Q5016796) (← links)
- VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS (Q5078814) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)
- Revising a Labelled Sequent Calculus for Public Announcement Logic (Q5213671) (← links)
- Common Knowledge and the Knowledge Account of Assertion (Q5213677) (← links)
- DYNAMIC GRADED EPISTEMIC LOGIC (Q5216978) (← links)
- Conversation and Games (Q5224486) (← links)
- Knowing Values and Public Inspection (Q5224492) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- Logic and Probabilistic Update (Q5249676) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)
- Modal Fixed-Point Logic and Changing Models (Q5452177) (← links)
- (Q5483016) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- A formal model of multi-agent belief-interaction (Q5901494) (← links)
- A formal model of multi-agent belief-interaction (Q5920620) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
- Impure Simplicial Complexes: Complete Axiomatization (Q6076177) (← links)
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448) (← links)
- An epistemic separation logic with action models (Q6117141) (← links)
- An Abstract Look at Awareness Models and Their Dynamics (Q6118733) (← links)
- Raising awareness without disclosing truth (Q6133702) (← links)
- Dynamic epistemic logics for abstract argumentation (Q6147179) (← links)
- Tracking probabilistic truths: a logic for statistical learning (Q6147187) (← links)
- Program semantics and verification technique for AI-centred programs (Q6174548) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- \textsc{delphic}: practical DEL planning via possibilities (Q6545564) (← links)
- Predictive theory of mind models based on public announcement logic (Q6546615) (← links)
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection (Q6562536) (← links)
- Epistemic monadic Boolean algebras (Q6562538) (← links)
- Compositionality in context (Q6612797) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
- Defining logical obstruction with fixpoints in epistemic logic (Q6645916) (← links)
- The logic of fast and slow thinking (Q6652868) (← links)
