scientific article; zbMATH DE number 6108059
From MaRDI portal
zbMath1261.03077MaRDI QIDQ4648827
Publication date: 16 November 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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
