Two modellings for theory change
From MaRDI portal
Publication:1100194
DOI10.1007/BF00247909zbMath0639.03025MaRDI QIDQ1100194
Publication date: 1988
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Related Items (only showing first 100 items - show all)
From ordering-based nonmonotonic reasoning to conditional logics ⋮ Belief models: An order-theoretic investigation ⋮ Unifying default reasoning and belief revision in a modal framework ⋮ Dynamic interactive epistemology ⋮ Rational choice and AGM belief revision ⋮ Shielded base contraction ⋮ Editor's introduction to the special issue on belief revision ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ Constructive modelings for theory change ⋮ On the revision of probabilistic belief states ⋮ Contraction: On the decision-theoretical origins of minimal change and entrenchment ⋮ D{\(\Delta\)}L: a dynamic deontic logic ⋮ Preferential reasoning in the perspective of Poole default logic ⋮ A unified model of qualitative belief change: a dynamical systems perspective ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Dynamic doxastic logic: why, how, and where to? ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Modeling belief in dynamic systems. I: Foundations ⋮ Modeling agents as qualitative decision makers ⋮ A logic-based axiomatic model of bargaining ⋮ Double preference relations for generalised belief change ⋮ Prime forms and minimal change in propositional belief bases ⋮ Non-prioritized ranked belief change ⋮ Parallel belief revision: revising by sets of formulas ⋮ Eradication ⋮ Bounded revision: two-dimensional belief change between conservative and moderate revision ⋮ Three approaches to iterated belief contraction ⋮ Possible worlds semantics for partial meet multiple contraction ⋮ System of spheres-based multiple contractions ⋮ AGM contraction and revision of rules ⋮ Stratified belief bases revision with argumentative inference ⋮ Belief and probability: a general theory of probability cores ⋮ Revising beliefs on the basis of evidence ⋮ Bisimulation for conditional modalities ⋮ Rational metabolic revision based on core beliefs ⋮ Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief ⋮ Negative doxastic voluntarism and the concept of belief ⋮ Comparing the axiomatic and ecological approaches to rationality: fundamental agreement theorems in SCOP ⋮ When hyperpropositions meet \(\dots\) ⋮ Indicative conditionals: factual or epistemic? ⋮ Rethinking common belief, revision, and backward induction ⋮ Belief base change as priority change: a study based on dynamic epistemic logic ⋮ A monoselective presentation of AGM revision ⋮ Propositional knowledge base revision and minimal change ⋮ Belief revision, epistemic conditionals and the Ramsey test ⋮ A game semantics for system P ⋮ Rational evaluation in belief revision ⋮ Believability relations for select-direct sentential revision ⋮ Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions ⋮ Studies on brutal contraction and severe withdrawal ⋮ Bayesian updating rules and AGM belief revision ⋮ Introduction and overview: Special issue on belief revision at truth approximation ⋮ Revising beliefs towards the truth ⋮ Verisimilitude and belief revision. With a focus on the relevant element account ⋮ Basic and refined nomic truth approximation by evidence-guided belief revision in AGM-terms ⋮ Belief revision and verisimilitude based on preference and truth orderings ⋮ Keep changing your beliefs, aiming for the truth ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ How to revise a total preorder ⋮ Notes on the history of ideas behind AGM ⋮ Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM ⋮ On AGM for non-classical logics ⋮ A framework for reasoning under uncertainty based on non-deterministic distance semantics ⋮ Logic in general philosophy of science: Old things and new things ⋮ Beth definability, interpolation and language splitting ⋮ Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth ⋮ Logic of change, change of logic ⋮ Simplified forms of computerized reasoning with distance semantics ⋮ Choice revision ⋮ Back to basics: belief revision through direct selection ⋮ Contraction in interrogative belief revision ⋮ Stability, strength and sensitivity: converting belief into knowledge ⋮ Revocable belief revision ⋮ Judgment aggregation and minimal change: a model of consensus formation by belief revision ⋮ Iterated belief revision ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ A synthetic view of belief revision with uncertain inputs in the framework of possibility theory ⋮ Severe withdrawal (and recovery) ⋮ Iterated belief change and the recovery axiom ⋮ Recovery recovered ⋮ Keep `hoping' for rationality: a solution to the backward induction paradox ⋮ Indicative conditionals and graded information ⋮ Belief change as change in epistemic entrenchment ⋮ Residual contraction ⋮ On strengthening the logic of iterated belief revision: proper ordinal interval operators ⋮ Belief revision in games: Forward and backward induction ⋮ Explanations, belief revision and defeasible reasoning. ⋮ Abduction as belief revision ⋮ Five faces of minimality ⋮ An information-based theory of conditionals ⋮ Systematic withdrawal ⋮ Modal logics for qualitative possibility theory ⋮ The co-occurrence test for non-monotonic inference ⋮ Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result ⋮ Prolegomena to dynamic logic for belief revision ⋮ Dynamic belief revision operators ⋮ A consistency-based approach for belief change ⋮ On the revision of preferences and rational inference processes ⋮ Revision by comparison ⋮ Conditional probability and defeasible inference
This page was built for publication: Two modellings for theory change
