Pages that link to "Item:Q3699670"
From MaRDI portal
The following pages link to On the logic of theory change: Partial meet contraction and revision functions (Q3699670):
Displaying 50 items.
- Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction (Q4571144) (← links)
- Programming norm change (Q4583151) (← links)
- The defective conditional in mathematics (Q4583351) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- Characterization of logic program revision as an extension of propositional revision (Q4593020) (← links)
- Nonmonotonic reasoning with multiple belief sets (Q4632309) (← links)
- MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS (Q4673679) (← links)
- Knowledge base dynamics, abduction, and database updates (Q4835515) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q4837676) (← links)
- X Latin American Symposium on Mathematical Logic (Q4897043) (← links)
- Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision (Q4917986) (← links)
- Additive Consolidation with Maximal Change (Q4917996) (← links)
- Economics and Economy in the Theory of Belief Revision (Preliminary Report) (Q4924526) (← links)
- Fusion of Pedigreed Preferential Relations (Q4924538) (← links)
- OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION (Q4928770) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
- Contraction, Revision, Expansion: Representing Belief Change Operations (Q4982655) (← links)
- Segerberg on the Paradoxes of Introspective Belief Change (Q4982656) (← links)
- On Revocable and Irrevocable Belief Revision (Q4982658) (← links)
- Actions, Belief Update, and DDL (Q4982659) (← links)
- DDL as an “Internalization” of Dynamic Belief Revision (Q4982660) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- (Q4993609) (← links)
- (Q5015385) (← links)
- (Q5018503) (← links)
- (Q5018504) (← links)
- (Q5018514) (← links)
- DYNAMIC HYPERINTENSIONAL BELIEF REVISION (Q5024508) (← links)
- Relevance in Belief Update (Q5026181) (← links)
- (Q5028452) (← links)
- Logical verification of scientific discovery (Q5046390) (← links)
- The sound and complete R-calculus for revising propositional theories (Q5046473) (← links)
- Reasoning About Trust and Belief Change on a Social Network: A Formal Approach (Q5056040) (← links)
- DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST (Q5065139) (← links)
- VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS (Q5078814) (← links)
- TWO LEVEL CREDIBILITY-LIMITED REVISIONS (Q5078815) (← links)
- PROBABILISTIC STABILITY, AGM REVISION OPERATORS AND MAXIMUM ENTROPY (Q5099777) (← links)
- A sphere world semantics for default reasoning (Q5101449) (← links)
- Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision (Q5130001) (← links)
- Belief change and 3-valued logics: Characterization of 19,683 belief change operators (Q5130019) (← links)
- (Q5131259) (← links)
- Credibility-limited Base Revision: New Classes and Their Characterizations (Q5139599) (← links)
- A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence (Q5172603) (← links)
- Mind the Divide Surrounding Knowledge Representation (Q5172625) (← links)
- COMPLETENESS FOR <i>COUNTER-DOXA</i> CONDITIONALS – USING RANKING SEMANTICS (Q5216973) (← links)
- Ordering-based representations of rational inference (Q5236432) (← links)
- Logic and Learning (Q5249673) (← links)
- Logic and Probabilistic Update (Q5249676) (← links)
- Logic and Game Theory (Q5249678) (← links)
- A Panorama of Iterated Revision (Q5250306) (← links)