Pages that link to "Item:Q1357672"
From MaRDI portal
The following pages link to Reasoning about information change (Q1357672):
Displaying 50 items.
- True lies (Q143747) (← links)
- Logics of informational interactions (Q266639) (← links)
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Refinement modal logic (Q476194) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- Dynamics of lying (Q484939) (← links)
- Syntactic awareness in logical dynamics (Q513899) (← links)
- Inquisitive dynamic epistemic logic (Q514589) (← links)
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124) (← links)
- What will they say? -- Public announcement games (Q542137) (← links)
- Merging DEL and ETL (Q616038) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Conditioning and interpretation shifts (Q694492) (← links)
- Prolegomena to dynamic logic for belief revision (Q813422) (← links)
- Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation (Q814504) (← links)
- The surprise examination in dynamic epistemic logic (Q885519) (← links)
- Towards a ``sophisticated'' model of belief dynamics. I: The general framework (Q935023) (← links)
- Towards a ``sophisticated'' model of belief dynamics. II: Belief revision (Q1005934) (← links)
- Logical dynamics of some speech acts that affect obligations and preferences (Q1024131) (← links)
- Public and private communication are different: Results on relative expressivity (Q1024135) (← links)
- Dynamic update with probabilities (Q1035842) (← links)
- Keep `hoping' for rationality: a solution to the backward induction paradox (Q1036069) (← links)
- Combinatorial bitstring semantics for arbitrary logical fragments (Q1749808) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- Revocable belief revision (Q2016055) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- Positive announcements (Q2046881) (← links)
- Situated epistemic updates (Q2148833) (← links)
- A closeness- and priority-based logical study of social network creation (Q2183577) (← links)
- The fundamental problem of logical omniscience (Q2194114) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- Rethinking epistemic logic with belief bases (Q2307332) (← links)
- Dynamic epistemic logic with communication actions (Q2333668) (← links)
- A modal logic of epistemic games (Q2344955) (← links)
- Evaluations of epistemic components for resolving the muddy children puzzle (Q2376999) (← links)
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution (Q2446681) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- Comments to `Logics of public communications' (Q2460186) (← links)
- The cognitive structure of surprise: looking for basic principles (Q2460293) (← links)
- The undecidability of iterated modal relativization (Q2574887) (← links)
- Refinement quantified logics of knowledge (Q2825410) (← links)
- Some remarks on the model theory of epistemic plausibility models (Q2901219) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
