Five faces of minimality

DOI10.1007/BF01057652zbMath0790.03026MaRDI QIDQ1313080

David Makinson

Publication date: 19 January 1994

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

belief revisionupdatingminimalitydeontic logicdefeasible inferencecounterfactual conditionalsconditional obligation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science, Violation games: a new foundation for deontic logic ★, Blueprint for a dynamic deontic logic, Editor's introduction to the special issue on belief revision, Constructive modelings for theory change, Two approaches to the formalisation of defeasible deontic reasoning, Contrary-to-duty obligations, Adaptive logic as a modal logic, Human rationality challenges universal logic, Possibilistic reasoning -- a mini-survey and uniform semantics, Local and global metrics for the semantics of counterfactual conditionals, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks, Preferential accessibility and preferred worlds, Boolean algebras of conditionals, probability and logic, From KLM-style conditionals to defeasible modalities, and back, A methodology for iterated theory change, Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition, Implication with possible exceptions, On the dynamics of institutional agreements, Abductive logics in a belief revision framework, Logic and probability: reasoning in uncertain environments -- introduction to the special issue, Remedial interchange, contrary-to-duty obligation and commutation, COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F, Reasoning about general preference relations, Gricean belief change, New techniques and completeness results for preferential structures, Preferences and explanations, Conditional logic of actions and causation

Cites Work

• On the logic of theory change: safe contraction
• On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
• Two modellings for theory change
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A first-order conditional logic for prototypical properties
• Nonmonotonic reasoning, preferential models and cumulative logics
• Propositional knowledge base revision and minimal change
• What does a conditional knowledge base entail?
• In defense of base contraction
• The relationship between KLM and MAK models for nonmonotonic inference operations
• Preferential belief change using generalized epistemic entrenchment
• The logic of conditional obligation. Comments by Harry Beatty
• A completeness theorem in modal logic
• On the logic of theory change: Partial meet contraction and revision functions
• An Analysis of some Deontic Logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item