Switch to: Citations

Add references

You must login to add references.
  1. The Synthesis of Digital Machines with Provable Epistemic Properties.Stanley J. Rosenschein & Leslie Pack Kaelbling - 1988 - Journal of Symbolic Logic 53 (2):664-664.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Tarskian semantics, or no notation without denotation.Drew McDermott - 1978 - Cognitive Science 2 (3):277-82.
    Download  
     
    Export citation  
     
    Bookmark   8 citations