The following pages link to (Q4648827):
Displaying 50 items.
- Logics of informational interactions (Q266639) (← links)
- Contemporary epistemic logic and the Lockean thesis (Q301338) (← links)
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- The logic of empirical theories revisited (Q383008) (← links)
- Adaptive logic as a modal logic (Q383560) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- Dynamics of lying (Q484939) (← links)
- Intricate axioms as interaction axioms (Q497427) (← links)
- Paraconsistent dynamics (Q514033) (← links)
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124) (← links)
- The dynamics of awareness (Q625715) (← links)
- Conditioning and interpretation shifts (Q694492) (← links)
- Logics for belief as maximally plausible possibility (Q831224) (← links)
- Rational choice and AGM belief revision (Q840824) (← links)
- Von Wright's ``The logic of preference'' revisited (Q987481) (← links)
- Probabilistic dynamic belief revision (Q1024132) (← links)
- Inference and update (Q1036064) (← links)
- Keep `hoping' for rationality: a solution to the backward induction paradox (Q1036069) (← links)
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction (Q1633231) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Private announcements on topological spaces (Q1653649) (← links)
- Belief revision and projection in the epistemic situation calculus (Q1680698) (← links)
- Modeling correlated information change: from conditional beliefs to quantum conditionals (Q1701692) (← links)
- Bisimulation for conditional modalities (Q1708097) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Keep changing your beliefs, aiming for the truth (Q1758553) (← links)
- Belief base change as priority change: a study based on dynamic epistemic logic (Q1979969) (← links)
- Implicit and explicit stances in logic (Q2000675) (← links)
- The dynamics of epistemic attitudes in resource-bounded agents (Q2001362) (← links)
- Dynamic epistemic logics of diffusion and prediction in social networks (Q2001364) (← links)
- Truth-tracking by belief revision (Q2009768) (← links)
- Revocable belief revision (Q2016055) (← links)
- Modeling reasoning in a social setting (Q2016076) (← links)
- Opaque updates (Q2037297) (← links)
- Simple hyperintensional belief revision (Q2051125) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- A computationally grounded logic of graded belief (Q2055797) (← links)
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- Dynamic logic of legal competences (Q2071574) (← links)
- Reasoning about general preference relations (Q2093401) (← links)
- Generation and selection of abductive explanations for non-omniscient agents (Q2258807) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- A topological approach to full belief (Q2421518) (← links)
- On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes (Q2441476) (← links)
- Logical dynamics of belief change in the community (Q2515780) (← links)
- Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention (Q2515783) (← links)
- Knowledge and approximations: a formal study under the perspective of information systems and rough set theory (Q2663553) (← links)
- Justified Belief and the Topology of Evidence (Q2820686) (← links)