Pages that link to "Item:Q2971678"

The following pages link to On the Logic of Theory Change: Partial Meet Contraction and Revision Functions (Q2971678):

Displaying 18 items.

• Possible worlds semantics for partial meet multiple contraction (Q421351) (← links)
• Two methods of constructing contractions and revisions of knowledge systems (Q757343) (← links)
• Contracting intuitionistic theories (Q813088) (← links)
• On the logic of theory change: safe contraction (Q1084094) (← links)
• Maps between some different kinds of contraction function: the finite case (Q1089333) (← links)
• On the status of the postulate of recovery in the logic of theory change (Q1095131) (← links)
• Two modellings for theory change (Q1100194) (← links)
• Information functions with applications (Q1174257) (← links)
• The logic of theory change. Workshop, Konstanz, Germany, October 13-15, 1989. Proceedings (Q1202136) (← links)
• On the logic of theory change: Contraction without recovery (Q1387802) (← links)
• When hyperpropositions meet \(\dots\) (Q1961926) (← links)
• A Structuralist Framework for the Logic of Theory Change (Q2912132) (← links)
• Parallel Theories and Routine Revision in First-Order Logic (Q3773842) (← links)
• Changing the Theory of Theory Change: Towards a Computational Approach (Q4312324) (← links)
• Changing the Theory of Theory Change: Reply to My Critics (Q4490086) (← links)
• (Q4537431) (← links)
• Formalizing falsification: Three delete operations (Q5753921) (← links)
• New operators for theory change (Q5753941) (← links)