Publication:4648827
From MaRDI portal
zbMath1261.03077MaRDI QIDQ4648827
Publication date: 16 November 2012
03B42: Logics of knowledge and belief (including belief change)
Related Items
CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS, Beliefs supported by binary arguments, Unnamed Item, Structures of Oppositions in Public Announcement Logic, Contraction, Revision, Expansion: Representing Belief Change Operations, Two Logical Faces of Belief Revision, DYNAMIC HYPERINTENSIONAL BELIEF REVISION, PRIORITY MERGE AND INTERSECTION MODALITIES, VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS, Logic and Probabilistic Update, Incorporating Action Models into the Situation Calculus, Dynamic Epistemic Logic as a Substructural Logic, The effort of reasoning: modelling the inference steps of boundedly rational agents, Two ways to scare a Gruffalo, Revising the elenchus via belief revision, Logics of informational interactions, Contemporary epistemic logic and the Lockean thesis, Multi-agent justification logic: communication and evidence elimination, The logic of empirical theories revisited, Adaptive logic as a modal logic, The logic of justified belief, explicit knowledge, and conclusive evidence, A modal type theory for formalizing trusted communications, Dynamics of lying, Intricate axioms as interaction axioms, Paraconsistent dynamics, Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces, Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth, The dynamics of awareness, Conditioning and interpretation shifts, Logics for belief as maximally plausible possibility, Rational choice and AGM belief revision, Von Wright's ``The logic of preference revisited, Probabilistic dynamic belief revision, Inference and update, Keep `hoping' for rationality: a solution to the backward induction paradox, Let Us investigate! Dynamic conjecture-making as the formal logic of abduction, Computation as social agency: what, how and who, Private announcements on topological spaces, Belief revision and projection in the epistemic situation calculus, Modeling correlated information change: from conditional beliefs to quantum conditionals, Bisimulation for conditional modalities, Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief, Keep changing your beliefs, aiming for the truth, Belief base change as priority change: a study based on dynamic epistemic logic, Implicit and explicit stances in logic, The dynamics of epistemic attitudes in resource-bounded agents, Dynamic epistemic logics of diffusion and prediction in social networks, Truth-tracking by belief revision, Revocable belief revision, Modeling reasoning in a social setting, Opaque updates, Simple hyperintensional belief revision, Announcement as effort on topological spaces, A computationally grounded logic of graded belief, A general multi-agent epistemic planner based on higher-order belief change, Dynamic logic of legal competences, Reasoning about general preference relations, Generation and selection of abductive explanations for non-omniscient agents, Intensional protocols for dynamic epistemic logic, A topological approach to full belief, On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes, Logical dynamics of belief change in the community, Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention, Knowledge and approximations: a formal study under the perspective of information systems and rough set theory, Justified Belief and the Topology of Evidence, Logics of Rational Interaction, Belief Update as Social Choice, Conditional Epistemic Planning, Agency and Interaction What We Are and What We Do in Formal Epistemology, A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling, DEL Planning and Some Tractable Cases, Minimal Revision and Classical Kripke Models, Unnamed Item, Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic, Hintikka’s Knowledge and Belief in Flux, Talking About Knowledge, LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF, A Note on Reliability-Based Preference Dynamics, Propositional Dynamic Logic as a Logic of Belief Revision, Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
