The following pages link to Inference and update (Q1036064):
Displaying 15 items.
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- Syntactic awareness in logical dynamics (Q513899) (← links)
- The interrogative model of inquiry meets dynamic epistemic logics (Q514587) (← links)
- The dynamics of awareness (Q625715) (← links)
- Dynamic logics of knowledge and access (Q625719) (← links)
- Dynamic logics of evidence-based beliefs (Q647408) (← links)
- Toward a dynamic logic of questions (Q692177) (← links)
- Dynamic epistemic logic for implicit and explicit beliefs (Q2258806) (← links)
- Awareness as potential for knowledge (Q2698553) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Logical Dynamics of Evidence (Q3093993) (← links)
- A Dynamic Logic of Interrogative Inquiry (Q3305312) (← links)
- DYNAMIC HYPERINTENSIONAL BELIEF REVISION (Q5024508) (← links)
- Belief base: a minimal logic of fine-grained information dynamics (Q6562547) (← links)
- The logic of fast and slow thinking (Q6652868) (← links)