Switch to: Citations

Add references

You must login to add references.
  1. Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
    A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...)
    Direct download  
     
    Export citation  
     
    Bookmark   292 citations  
  • A Survey of Multiple Contractions.André Fuhrmann & Sven Ove Hansson - 1994 - Journal of Logic, Language and Information 3 (1):39-75.
    The AGM theory of belief contraction is extended tomultiple contraction, i.e. to contraction by a set of sentences rather than by a single sentence. There are two major variants: Inpackage contraction all the sentences must be removed from the belief set, whereas inchoice contraction it is sufficient that at least one of them is removed. Constructions of both types of multiple contraction are offered and axiomatically characterized. Neither package nor choice contraction can in general be reduced to contractions by single (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  • Theory Contraction Through Base Contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
  • Two Modellings for Theory Change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
  • On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
    This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   472 citations  
  • A Textbook of Belief Dynamics. Theory Change and Database Updating.S. O. Hansson - 1999 - Kluwer Academic Publishers.
    SUGGESTED COURSES Introductory level A (Requires very little background in logic .): 4: -9 - - -7 -2 Introductory level B: -9,:+-+ -,2:+,2: -,3:20+-22+ -7 -2 ...
    Direct download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Knowledge in Flux. Modelling the Dymanics of Epistemic States.P. Gärdenfors - 1988 - MIT Press.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   242 citations  
  • On the Logic of Theory Change: Contraction Functions and Their Associated Revision Functions.Carlos E. Alchourron & David Makinson - 1982 - Theoria 48 (1):14-37.
    A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  • Hierarchies of Regulations and Their Logic.Carlos E. Alchourrón & David Makinson - 1981 - In Risto Hilpinen (ed.), New Studies in Deontic Logic. Dordrecht: Reidel. pp. 125--148.
    Investigates the resolution of contradictions and ambiguous derogations in a code, by means of the imposition of partial orderings.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  • New Operators for Theory Change.Svenove Hansson - 1989 - Theoria 55 (2):114-132.
  • Multiple Contraction a Further Case Against Gärdenfors' Principle of Recovery.Reinhard Niederée - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. pp. 322--334.