Pages that link to "Item:Q647408"

The following pages link to Dynamic logics of evidence-based beliefs (Q647408):

Displaying 50 items.

• Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
• The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
• Evidence and plausibility in neighborhood structures (Q392275) (← links)
• Price of privacy (Q504512) (← links)
• Toward a dynamic logic of questions (Q692177) (← links)
• A logic of plausible justifications (Q744992) (← links)
• Computation as social agency: what, how and who (Q1641025) (← links)
• Constructive agents (Q1688949) (← links)
• Bisimulation for conditional modalities (Q1708097) (← links)
• The dynamics of epistemic attitudes in resource-bounded agents (Q2001362) (← links)
• Introspection as an action in relational models (Q2011198) (← links)
• Pooling modalities and pointwise intersection: axiomatization and decidability (Q2021558) (← links)
• An epistemic approach to paraconsistency: a logic of evidence and truth (Q2053983) (← links)
• An epistemic logic for multi-agent systems with budget and costs (Q2055785) (← links)
• Background beliefs and plausibility thresholds: defending explanationist evidentialism (Q2055915) (← links)
• Constructive hybrid games (Q2096468) (← links)
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
• A discrete duality between nonmonotonic consequence relations and convex geometries (Q2183103) (← links)
• A four-valued dynamic epistemic logic (Q2228448) (← links)
• A topological approach to full belief (Q2421518) (← links)
• Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
• Justified Belief and the Topology of Evidence (Q2820686) (← links)
• Reasoning About Justified Belief Based on the Fusion of Evidence (Q2835874) (← links)
• Talking About Knowledge (Q3299839) (← links)
• Tracking Information (Q3305434) (← links)
• (Q3384066) (← links)
• (Q3384088) (← links)
• Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
• A General Framework for Modal Correspondence in Dynamic Epistemic Logic (Q3457711) (← links)
• The concept of evidence (Q4506251) (← links)
• Substructural epistemic logics (Q4586145) (← links)
• A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
• DDL as an “Internalization” of Dynamic Belief Revision (Q4982660) (← links)
• Two Logical Faces of Belief Revision (Q4982661) (← links)
• Generalized Quantifiers Meet Modal Neighborhood Semantics (Q5015970) (← links)
• (Q5018503) (← links)
• KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS (Q5024506) (← links)
• DYNAMIC HYPERINTENSIONAL BELIEF REVISION (Q5024508) (← links)
• Constructive Game Logic (Q5041088) (← links)
• Relating Semantics for Epistemic Logic (Q5066091) (← links)
• Knowledge in action: logico-philosophical approach to linguistic evidentiality (Q5082343) (← links)
• INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE (Q6041349) (← links)
• Unification of Modal Logic via Topological Categories (Q6150170) (← links)
• A hyperintensional logic of non-prime evidence (Q6544540) (← links)
• Stable normative explanations: from argumentation to deontic logic (Q6545525) (← links)
• Cautious distributed belief (Q6550526) (← links)
• An algorithmic impossible-worlds model of belief and knowledge (Q6552269) (← links)
• Logics for knowability paradox with a non-normal possibility operator (Q6601764) (← links)
• Epistemic logics for relevant reasoners (Q6623818) (← links)