Switch to: Citations

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  
  • Undecidability of the Domino Problem.Robert Berger - 1966 - American Mathematical Soc..
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Attributive concept descriptions with complements.Manfred Schmidt-Schauß & Gert Smolka - 1991 - Artificial Intelligence 48 (1):1-26.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • (1 other version)An Overview of the KL‐ONE Knowledge Representation System.Ronald J. Brachman & James G. Schmolze - 1985 - Cognitive Science 9 (2):171-216.
    Download  
     
    Export citation  
     
    Bookmark   67 citations