The Consistency of Syntactical Treatments of Knowledge. des Rivières, J. and Levesque, H. J. In Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986, pages 115–130, 1986.
bibtex   
@inproceedings{DBLP:conf/tark/RivieresL86,
  author    = {Jim des Rivi{\`{e}}res and
               Hector J. Levesque},
  title     = {The Consistency of Syntactical Treatments of Knowledge},
  booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning
               about Knowledge, Monterey, CA, USA, March 1986},
  pages     = {115--130},
  year      = {1986},
  crossref  = {DBLP:conf/tark/1986},
  timestamp = {Thu, 21 Jun 2018 07:50:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tark/RivieresL86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0