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