Switch to: Citations

References in:

Graded modalities. I

Studia Logica 44 (2):197 - 221 (1985)

Add references

You must login to add references.
  1. Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   436 citations  
  • Languages with Expressions of InfiniteLength.Carol Ruth Karp - 1964 - North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
    The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted (...)
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
    Modal propositional logic; Modal predicate logic; A survey of modal logic.
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • Grades Of Modality.L. F. Goble - 1970 - Logique Et Analyse 13:323-334.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Decidability results in non-classical logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (3):237-295.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
    Download  
     
    Export citation  
     
    Bookmark   240 citations