Logics for Epistemic Programs. Baltag, A. & Moss, L. S. Synthese, 139(2):165--224, 2004.
Paper doi bibtex @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}
}
Downloads: 0
{"_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"]}