On the public citation graph
How to give it up: A survey of some formal aspects of the logic of theory change
0 signed · 92 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/978-94-009-8484-4_5openalex-snapshot
Hierarchies of Regulations and their Logic
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.1002/malq.19900360510openalex-snapshot
Formalizing falsification: Three delete operations
inferred← citeshttps://doi.org/10.1007/11691792_9openalex-snapshot
Resource-Bounded Belief Revision and Contraction
inferred← citeshttps://doi.org/10.1007/11961536_5openalex-snapshot
Automating Belief Revision for AgentSpeak
inferred← citeshttps://doi.org/10.1007/3-540-38076-0_7openalex-snapshot
On the Use of Matrices for Belief Revision
inferred← citeshttps://doi.org/10.1007/3-540-44652-4_45openalex-snapshot
On Computing Solutions to Belief Change Scenarios
inferred← citeshttps://doi.org/10.1007/3-540-48159-1_23openalex-snapshot
A New Approach to Base Revision
inferred← citeshttps://doi.org/10.1007/3-540-50517-2_96openalex-snapshot
A method to check knowledge base consistency
inferred← citeshttps://doi.org/10.1007/3-540-50701-9_16openalex-snapshot
General theory of cumulative inference
inferred← citeshttps://doi.org/10.1007/3-540-58107-3_15openalex-snapshot
Asking about possibilities — Revision and update semantics for subjunctive queries Extended report
inferred← citeshttps://doi.org/10.1007/3-540-61732-9_50openalex-snapshot
Compromised updates in labelled databases
inferred← citeshttps://doi.org/10.1007/978-1-4899-0548-2_16openalex-snapshot
Epistemic Importance and the Logic of Theory Change
inferred← citeshttps://doi.org/10.1007/978-3-030-65840-3_11openalex-snapshot
Grounding Awareness on Belief Bases
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-319-20451-2_13openalex-snapshot
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
inferred← citeshttps://doi.org/10.1007/978-3-319-20451-2_42openalex-snapshot
Knowledge, Belief and Counterfactual Reasoning in Games
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-015-8311-4_4openalex-snapshot
The Logic of Belief Change and Nonadditive Probability
inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_5openalex-snapshot
A Compromise Revision Model for Reconciling Updates
inferred← citeshttps://doi.org/10.1007/bf00114921openalex-snapshot
Normative conflicts in legal reasoning
inferred← citeshttps://doi.org/10.1007/bf00137827openalex-snapshot
The dynamics of belief: Contractions and revisions of probability functions
inferred← citeshttps://doi.org/10.1007/bf00158953openalex-snapshot
Revising deductive knowledge and stereotypical knowledge in a student model
inferred← citeshttps://doi.org/10.1007/bf00175370openalex-snapshot
Reduction: Some criteria and criticisms of the structuralist concept
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/bf00296175openalex-snapshot
On probabilistic representation of non-probabilistic belief revision
inferred← citeshttps://doi.org/10.1007/bf00370430openalex-snapshot
On the logic of theory change: Safe contraction
inferred← citeshttps://doi.org/10.1007/bf00373274openalex-snapshot
Maps between some different kinds of contraction function: The finite case
inferred← citeshttps://doi.org/10.1007/bf00431184openalex-snapshot
On the status of the postulate of recovery in the logic of theory change
inferred← citeshttps://doi.org/10.1007/bf00869347openalex-snapshot
Reflective modalities and theory change
inferred← citeshttps://doi.org/10.1007/bfb0018425openalex-snapshot
On the modal logic of theory change
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/bfb0023426openalex-snapshot
Modellings for belief change: Base contraction, multiple contraction, and epistemic entrenchment (preliminary report)
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-020-09587-0openalex-snapshot
On a Logico-Algebraic Approach to AGM Belief Contraction Theory
inferred← citeshttps://doi.org/10.1007/s11229-008-9364-0openalex-snapshot
Preference-based belief revision for rule-based agents
inferred← citeshttps://doi.org/10.1007/s11787-023-00335-xopenalex-snapshot
Unified Deductive Systems: An Outline
inferred← citeshttps://doi.org/10.1016/j.artint.2020.103233openalex-snapshot
Rethinking epistemic logic with belief bases
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.2023.109108openalex-snapshot
Relevance, recovery and recuperation: A prelude to ring withdrawal
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.04.026openalex-snapshot
A sound and complete model-generation procedure for consistent and confidentiality-preserving databases
inferred← citeshttps://doi.org/10.1016/s0004-3702(03)00111-5openalex-snapshot
A consistency-based approach for belief change
inferred← citeshttps://doi.org/10.1017/cbo9780511526664.001openalex-snapshot
Belief revision: An introduction
inferred← citeshttps://doi.org/10.1017/cbo9780511983474.023openalex-snapshot
The dynamics of belief systems: Foundations versus coherence theories
inferred← citeshttps://doi.org/10.1017/s0266267100004132openalex-snapshot
Knowledge, Belief and Counterfactual Reasoning in Games
inferred← citeshttps://doi.org/10.1023/a:1005290330684openalex-snapshot
Problems With Formal Models Of Epistemic Entrenchment As Applied To Scientific Theories
inferred← citeshttps://doi.org/10.1023/a:1005509518324openalex-snapshot
Coherence and Conservatism in the Dynamics of Belief
inferred← citeshttps://doi.org/10.1023/a:1008218502162openalex-snapshot
Counterfactuals and Updates as Inverse Modalities
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.10510906openalex-snapshot
Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
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/48.1.83openalex-snapshot
On Chihara's ‘The Howson–Urbach Proofs of Bayesian Principles’
inferred← citeshttps://doi.org/10.1093/jigpal/jzq057openalex-snapshot
An approximate approach to belief revision
inferred← citeshttps://doi.org/10.1093/logcom/14.6.801openalex-snapshot
On Computing Belief Change Operations using Quantified Boolean Formulas
inferred← citeshttps://doi.org/10.1093/logcom/exac035openalex-snapshot
A computationally grounded logic of awareness
inferred← citeshttps://doi.org/10.1093/mind/fzw028openalex-snapshot
Preservation and Postulation: Lessons from the New Debate on the Ramsey Test
inferred← citeshttps://doi.org/10.1109/icde.1991.131461openalex-snapshot
Meta-reasoning: An incremental compilation approach
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1989.tb00725.xopenalex-snapshot
New operators for theory change
inferred← citeshttps://doi.org/10.1111/j.1755-2567.1992.tb01154.xopenalex-snapshot
Modellings for belief change: Prioritization and entrenchment*
inferred← citeshttps://doi.org/10.1145/1072997.1072999openalex-snapshot
Reasoning about inconsistencies in natural language requirements
inferred← citeshttps://doi.org/10.1145/153850.153857openalex-snapshot
On the semantics of theory change
inferred← citeshttps://doi.org/10.1177/30504554261426170openalex-snapshot
From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change
inferred← citeshttps://doi.org/10.12681/eadd/13798openalex-snapshot
On belief change and ontology evolution
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635755openalex-snapshot
Theory revision and probability.
inferred← citeshttps://doi.org/10.1609/aaai.v32i1.11560openalex-snapshot
In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds
inferred← citeshttps://doi.org/10.2307/2274239openalex-snapshot
On the logic of theory change: Partial meet contraction and revision functions
inferred← citeshttps://doi.org/10.31812/0564/1732openalex-snapshot
Логіка перегляду переконань: пізнавальні дії як модальні оператори
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0204032openalex-snapshot
Belief Revision and Rational Inference
inferred← citeshttps://doi.org/10.5121/ijaia.2017.8205openalex-snapshot
Source Sensitive Belief Change
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.