@article{DBLP:journals/synthese/BaltagM04,
  author    = {Alexandru Baltag and
               Lawrence S. Moss},
  title     = {Logics for Epistemic Programs},
  journal   = {Synthese},
  volume    = {139},
  number    = {2},
  pages     = {165--224},
  year      = {2004},
  url       = {http://dx.doi.org/10.1023/B:SYNT.0000024912.56773.5e},
  doi       = {10.1023/B:SYNT.0000024912.56773.5e},
  timestamp = {Mon, 28 Sep 2015 01:00:00 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/journals/synthese/BaltagM04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"QPqAJopNAbd2qXEvX","bibbaseid":"baltag-moss-logicsforepistemicprograms-2004","downloads":0,"creationDate":"2016-10-13T11:48:04.834Z","title":"Logics for Epistemic Programs","author_short":["Baltag, A.","Moss, L. S."],"year":2004,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/b/Baltag:Alexandru","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Alexandru"],"propositions":[],"lastnames":["Baltag"],"suffixes":[]},{"firstnames":["Lawrence","S."],"propositions":[],"lastnames":["Moss"],"suffixes":[]}],"title":"Logics for Epistemic Programs","journal":"Synthese","volume":"139","number":"2","pages":"165--224","year":"2004","url":"http://dx.doi.org/10.1023/B:SYNT.0000024912.56773.5e","doi":"10.1023/B:SYNT.0000024912.56773.5e","timestamp":"Mon, 28 Sep 2015 01:00:00 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/journals/synthese/BaltagM04","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@article{DBLP:journals/synthese/BaltagM04,\n author = {Alexandru Baltag and\n Lawrence S. Moss},\n title = {Logics for Epistemic Programs},\n journal = {Synthese},\n volume = {139},\n number = {2},\n pages = {165--224},\n year = {2004},\n url = {http://dx.doi.org/10.1023/B:SYNT.0000024912.56773.5e},\n doi = {10.1023/B:SYNT.0000024912.56773.5e},\n timestamp = {Mon, 28 Sep 2015 01:00:00 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/journals/synthese/BaltagM04},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Baltag, A.","Moss, L. S."],"key":"DBLP:journals/synthese/BaltagM04","id":"DBLP:journals/synthese/BaltagM04","bibbaseid":"baltag-moss-logicsforepistemicprograms-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1023/B:SYNT.0000024912.56773.5e"},"downloads":0},"search_terms":["logics","epistemic","programs","baltag","moss"],"keywords":[],"authorIDs":[],"dataSources":["gwEctFQ24iELEipk9"]}