On the public citation graph
On the status of the postulate of recovery in the logic of theory change
0 signed · 145 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf00370430openalex-snapshot
On the logic of theory change: Safe contraction
inferredcites →https://doi.org/10.1007/bf00869410openalex-snapshot
How to give it up: A survey of some formal aspects of the logic of theory change
inferredcites →https://doi.org/10.1111/j.1468-0149.1963.tb00803.xopenalex-snapshot
ACTA PHILOSOPHICA FENNICA
inferredcites →https://doi.org/10.1111/j.1755-2567.1982.tb00480.xopenalex-snapshot
On the logic of theory change: Contraction functions and their associated revision functions
inferredcites →https://doi.org/10.2307/2274239openalex-snapshot
On the logic of theory change: Partial meet contraction and revision functions
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11574620_18openalex-snapshot
On Applying the AGM Theory to DLs and OWL
inferred← citeshttps://doi.org/10.1007/11691792_9openalex-snapshot
Resource-Bounded Belief Revision and Contraction
inferred← citeshttps://doi.org/10.1007/3-540-64413-x_26openalex-snapshot
Some approaches to reasoning with incomplete and changing information
inferred← citeshttps://doi.org/10.1007/978-1-4020-1986-9_7openalex-snapshot
Belief Revision from an Epistemological Point of View
inferred← citeshttps://doi.org/10.1007/978-1-4471-4186-0_4openalex-snapshot
Classical Belief Revision
inferred← citeshttps://doi.org/10.1007/978-1-4471-4186-0_5openalex-snapshot
AGM Contraction in Non-Classical Logics
inferred← citeshttps://doi.org/10.1007/978-1-4471-4186-0_6openalex-snapshot
AGM Revision in Logics Without Negation
inferred← citeshttps://doi.org/10.1007/978-3-031-97022-1_3openalex-snapshot
The AGM Model of Theory Change
inferred← citeshttps://doi.org/10.1007/978-3-031-97022-1_5openalex-snapshot
Extensions and Alternatives of the AGM Model
inferred← citeshttps://doi.org/10.1007/978-3-031-97022-1_8openalex-snapshot
Interrelations Between Credibility-Limited Revision and Shielded Contraction Operators
inferred← citeshttps://doi.org/10.1007/978-3-319-11558-0_48openalex-snapshot
A Logic for Belief Contraction
inferred← citeshttps://doi.org/10.1007/978-3-319-20451-2_14openalex-snapshot
Theory Contraction and Base Contraction Unified
inferred← citeshttps://doi.org/10.1007/978-3-642-35722-0_14openalex-snapshot
Iterated Contraction Based on Indistinguishability
inferred← citeshttps://doi.org/10.1007/978-3-642-40948-6_2openalex-snapshot
Minimal Preference Change
inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_4openalex-snapshot
Safe Contraction Revisited
inferred← citeshttps://doi.org/10.1007/978-94-009-0553-5_9openalex-snapshot
Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test
inferred← citeshttps://doi.org/10.1007/978-94-011-5054-5_2openalex-snapshot
Revision of Belief Sets and Belief Bases
inferred← citeshttps://doi.org/10.1007/978-94-015-8311-4_2openalex-snapshot
Taking Belief Bases Seriously
inferred← citeshttps://doi.org/10.1007/978-94-015-8311-4_4openalex-snapshot
The Logic of Belief Change and Nonadditive Probability
inferred← citeshttps://doi.org/10.1007/bf00284973openalex-snapshot
Two methods of constructing contractions and revisions of knowledge systems
inferred← citeshttps://doi.org/10.1007/bf00284974openalex-snapshot
Theory contraction through base contraction
inferred← citeshttps://doi.org/10.1007/bf00370186openalex-snapshot
Belief contraction without recovery
inferred← citeshttps://doi.org/10.1007/bf00666230openalex-snapshot
Similarity semantics and minimal changes of belief
inferred← citeshttps://doi.org/10.1007/bf01181682openalex-snapshot
Changes of disjunctively closed bases
inferred← citeshttps://doi.org/10.1007/bf01530744openalex-snapshot
A framework for controlling model-based diagnosis systems with multiple actions
inferred← citeshttps://doi.org/10.1007/bfb0018427openalex-snapshot
Multiple contraction a further case against gärdenfors' principle of recovery
inferred← citeshttps://doi.org/10.1007/bfb0021965openalex-snapshot
Belief dynamics, abduction, and databases
inferred← citeshttps://doi.org/10.1007/bfb0021966openalex-snapshot
On the logic of theory base change
inferred← citeshttps://doi.org/10.1007/s001990100194openalex-snapshot
Minimal belief change, Pareto-optimality and logical consequence
inferred← citeshttps://doi.org/10.1007/s10472-015-9476-4openalex-snapshot
A quantitative approach to belief revision in structured probabilistic argumentation
inferred← citeshttps://doi.org/10.1007/s10472-019-09635-9openalex-snapshot
Impossibility results for belief contraction
inferred← citeshttps://doi.org/10.1007/s10506-010-9097-5openalex-snapshot
Norm-system revision: theory and application
inferred← citeshttps://doi.org/10.1007/s10670-018-0006-8openalex-snapshot
On the Ramsey Test Analysis of ‘Because’
inferred← citeshttps://doi.org/10.1007/s10670-018-0028-2openalex-snapshot
Four Ways in Which Theories of Belief Revision Could Benefit from Theories of Epistemic Justification
inferred← citeshttps://doi.org/10.1007/s10849-022-09369-8openalex-snapshot
Belief Revision and Computational Argumentation: A Critical Comparison
inferred← citeshttps://doi.org/10.1007/s10849-022-09374-xopenalex-snapshot
Filtered Belief Revision: Syntax and Semantics
inferred← citeshttps://doi.org/10.1007/s10992-006-9027-xopenalex-snapshot
New Foundations for a Relational Theory of Theory-revision
inferred← citeshttps://doi.org/10.1007/s10992-008-9086-2openalex-snapshot
Iterated Belief Change and the Recovery Axiom
inferred← citeshttps://doi.org/10.1007/s10992-011-9174-6openalex-snapshot
Notes on the History of Ideas Behind AGM
inferred← citeshttps://doi.org/10.1007/s10992-018-9457-2openalex-snapshot
A Representation Result for Value-based Contraction
inferred← citeshttps://doi.org/10.1007/s10992-020-09587-0openalex-snapshot
On a Logico-Algebraic Approach to AGM Belief Contraction Theory
inferred← citeshttps://doi.org/10.1007/s10992-021-09650-4openalex-snapshot
Taking Up Thagard’s Challenge: A Formal Model of Conceptual Revision
inferred← citeshttps://doi.org/10.1007/s10992-025-09789-4openalex-snapshot
The Dynamics of Non-Belief (with Modesty)
inferred← citeshttps://doi.org/10.1007/s11225-005-0494-9openalex-snapshot
Belief Liberation (and Retraction)
inferred← citeshttps://doi.org/10.1007/s11225-008-9099-4openalex-snapshot
A New Psychologism in Logic? Reflections from the Point of View of Belief Revision
inferred← citeshttps://doi.org/10.1007/s11225-018-9807-7openalex-snapshot
Back to Basics: Belief Revision Through Direct Selection
inferred← citeshttps://doi.org/10.1007/s11229-008-9364-0openalex-snapshot
Preference-based belief revision for rule-based agents
inferred← citeshttps://doi.org/10.1016/0004-3702(94)90017-5openalex-snapshot
Nonmonotonic inference based on expectations
inferred← citeshttps://doi.org/10.1016/0004-3702(95)00005-4openalex-snapshot
Knowledge-level analysis of belief base operations
inferred← citeshttps://doi.org/10.1016/j.artint.2013.06.001openalex-snapshot
Minimal change: Relevance and recovery revisited
inferred← citeshttps://doi.org/10.1016/j.artint.2021.103605openalex-snapshot
Efficient multi-agent epistemic planning: Teaching planners about nested belief
inferred← citeshttps://doi.org/10.1016/j.artint.2023.103907openalex-snapshot
Levi and Harper identities for non-prioritized belief base change
inferred← citeshttps://doi.org/10.1016/j.ijar.2018.08.006openalex-snapshot
Partial meet pseudo-contractions
inferred← citeshttps://doi.org/10.1016/j.ijar.2023.109108openalex-snapshot
Relevance, recovery and recuperation: A prelude to ring withdrawal
inferred← citeshttps://doi.org/10.1016/j.ijar.2025.109489openalex-snapshot
Natural revision is contingently-conditionalized revision
inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00112-xopenalex-snapshot
A foundational theory of belief and belief change
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00092-2openalex-snapshot
A foundationalist view of the AGM theory of belief change
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70133-2openalex-snapshot
Semantic Parallels in Natural Language and Computation
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03008-8openalex-snapshot
Chapter 8 Belief Revision
inferred← citeshttps://doi.org/10.1017/9781316756140.028openalex-snapshot
“Just Because”: Taking Belief Bases Seriously
inferred← citeshttps://doi.org/10.1017/cbo9780511526664.001openalex-snapshot
Belief revision: An introduction
inferred← citeshttps://doi.org/10.1017/s0269888915000132openalex-snapshot
Resolving conflicts in knowledge for ambient intelligence
inferred← citeshttps://doi.org/10.1023/a:1004344003217openalex-snapshot
Severe Withdrawal (and Recovery)
inferred← citeshttps://doi.org/10.1023/a:1005219504371openalex-snapshot
Some Logics of Iterated Belief Change
inferred← citeshttps://doi.org/10.1023/a:1005495400861openalex-snapshot
Beyond Recovery? a Reply to Tennant
inferred← citeshttps://doi.org/10.1023/a:1008241816078openalex-snapshot
On the Logic of Theory Change: Contraction without Recovery
inferred← citeshttps://doi.org/10.1023/a:1008316802976openalex-snapshot
Refined Epistemic Entrenchment
inferred← citeshttps://doi.org/10.1023/a:1008316915066openalex-snapshot
Recovery and Epistemic Residue
inferred← citeshttps://doi.org/10.1023/a:1014650108036openalex-snapshot
The Rôle of Language In Belief Revision
inferred← citeshttps://doi.org/10.1023/a:1022931929726openalex-snapshot
Counterexamples to Recovery and the Filtering Condition
inferred← citeshttps://doi.org/10.1023/b:stud.0000032106.55407.c8openalex-snapshot
Expansion and Contraction of Finite States
inferred← citeshttps://doi.org/10.1080/11663081.1995.10510843openalex-snapshot
Knowledge base dynamics, abduction, and database updates
inferred← citeshttps://doi.org/10.1080/11663081.1997.10510905openalex-snapshot
On knowledge evolution: acquisition, revision, contraction
inferred← citeshttps://doi.org/10.1080/11663081.1997.10510907openalex-snapshot
On having bad contractions, or: no room for recovery
inferred← citeshttps://doi.org/10.1093/0199270708.001.0001openalex-snapshot
Mild Contraction: Evaluating Loss of Information Due to Loss of Belief
inferred← citeshttps://doi.org/10.1093/0199270708.003.0001openalex-snapshot
Supposition and Belief Change 1
inferred← citeshttps://doi.org/10.1093/0199270708.003.0004openalex-snapshot
Informational Value in Contraction 4
inferred← citeshttps://doi.org/10.1093/0199270708.003.0005openalex-snapshot
Contraction, Rational Choice and Economy 5
inferred← citeshttps://doi.org/10.1093/0199270708.003.0006openalex-snapshot
Some Problems with Infinity 6
inferred← citeshttps://doi.org/10.1093/0199270708.003.0007openalex-snapshot
Base Contraction and the Filtering Condition 7
inferred← citeshttps://doi.org/10.1093/bjps/45.3.865openalex-snapshot
Changing the Theory of Theory Change: Towards a Computational Approach
inferred← citeshttps://doi.org/10.1093/bjps/46.3.361openalex-snapshot
How Not to Change the Theory of Theory Change: A Reply to Tennant
inferred← citeshttps://doi.org/10.1093/bjps/48.4.569openalex-snapshot
Changing the Theory of Theory Change: Reply to My Critics
inferred← citeshttps://doi.org/10.1093/logcom/exu034openalex-snapshot
Epistemic extensions of modal distributive substructural logics
inferred← citeshttps://doi.org/10.1093/pq/pqv112openalex-snapshot
Frontloading, Supposition, and Contraction
inferred← citeshttps://doi.org/10.1109/anziis.1995.705724openalex-snapshot
Conditionalizing expectations
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1989.tb00725.xopenalex-snapshot
New operators for theory change
inferred← citeshttps://doi.org/10.1145/3190783openalex-snapshot
Syntax-Preserving Belief Change Operators for Logic Programs
inferred← citeshttps://doi.org/10.1145/3733830openalex-snapshot
Maps between Different Kinds of Two-Level Credibility-Limited Revision Operators
inferred← citeshttps://doi.org/10.1145/846241.846263openalex-snapshot
Belief liberation (and retraction)
inferred← citeshttps://doi.org/10.1145/846261.846263openalex-snapshot
Belief liberation (and retraction)
inferred← citeshttps://doi.org/10.11606/d.45.2016.tde-08062016-105125openalex-snapshot
Pseudo-contractions in belief revision
inferred← citeshttps://doi.org/10.11606/d.45.2017.tde-24022017-124108openalex-snapshot
Revisão de crenças em lógicas de descrição - um plug-in para o Protégé
inferred← citeshttps://doi.org/10.11606/t.45.2010.tde-16112010-155644openalex-snapshot
Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas
inferred← citeshttps://doi.org/10.12681/eadd/13798openalex-snapshot
On belief change and ontology evolution
inferred← citeshttps://doi.org/10.12681/eadd/46043openalex-snapshot
Relevance and knowledge dynamics for intelligent agents
inferred← citeshttps://doi.org/10.1305/ndjfl/1039182250openalex-snapshot
Semi-Contraction: Axioms and Construction
inferred← citeshttps://doi.org/10.1305/ndjfl/1040308829openalex-snapshot
Belief Revision, Conditional Logic and Nonmonotonic Reasoning
inferred← citeshttps://doi.org/10.1305/ndjfl/1040308830openalex-snapshot
Levi Contractions and AGM Contractions: A Comparison
inferred← citeshttps://doi.org/10.1613/jair.1.11337openalex-snapshot
A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic
inferred← citeshttps://doi.org/10.1613/jair.4430openalex-snapshot
Entrenchment-Based Horn Contraction
inferred← citeshttps://doi.org/10.1613/jair.5496openalex-snapshot
Kernel Contraction and Base Dependence
inferred← citeshttps://doi.org/10.2178/jsl/1146620165openalex-snapshot
On the degeneracy of the full AGM-theory of theory-revision
inferred← citeshttps://doi.org/10.2307/2275221openalex-snapshot
Theory contraction and base contraction unified
inferred← citeshttps://doi.org/10.31812/0564/1732openalex-snapshot
Логіка перегляду переконань: пізнавальні дії як модальні оператори
inferred← citeshttps://doi.org/10.31812/123456789/3669openalex-snapshot
Computer Science & Software Engineering : Proceedings of the 2nd Student Workshop (CS&SE@SW 2019), Kryvyi Rih, Ukraine, November 29, 2019
inferred← citeshttps://doi.org/10.4204/eptcs.379.13openalex-snapshot
Characterization of AGM Belief Contraction in Terms of Conditionals
inferred← citeshttps://doi.org/10.48550/arxiv.1507.01425openalex-snapshot
Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1703.04912openalex-snapshot
Syntax-Preserving Belief Change Operators for Logic Programs
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0204032openalex-snapshot
Belief Revision and Rational Inference
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0207038openalex-snapshot
Iterated revision and the axiom of recovery: a unified treatment via epistemic states
inferred← citeshttps://doi.org/10.55056/ceur-ws.org/vol-2546/paper01.pdfopenalex-snapshot
Dynamic doxastic action in Doxastic Modal Logic
inferred← citeshttps://doi.org/10.55056/ceur-ws.org/vol-3358/paper21.pdfopenalex-snapshot
Modelling of AGM-style doxastic operations in three-valued setting
inferred← citeshttps://doi.org/10.70675/8e1e712ez9ee9z493bz9ed1zb3ec3aee00a4openalex-snapshot
Knowledge base ontological debugging guided by linguistic evidence
inferred← citeshttps://doi.org/10.70675/9700f79bzfd1ez4750za24cz6ef2ea76cd21openalex-snapshot
Changement de croyances dans des fragments de la logique propositionnelle
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.