{"_id":{"_str":"538c431f0e577e1d6b0044a9"},"__v":0,"authorIDs":[],"author_short":["Halpern, J Y","Moses, Y"],"bibbaseid":"halpern-moses-aguidetocompletenessandcomplexityformodallogicsofknowledgeandbelief-1992","bibdata":{"bibtype":"article","type":"article","title":"A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief","volume":"54","journal":"Artificial Intelligence","author":[{"propositions":[],"lastnames":["Halpern"],"firstnames":["J","Y"],"suffixes":[]},{"propositions":[],"lastnames":["Moses"],"firstnames":["Y"],"suffixes":[]}],"year":"1992","pages":"319–379","bibtex":"@article{Halpern/Moses:92,\n\ttitle = {A {Guide} to {Completeness} and {Complexity} for {Modal} {Logics} of {Knowledge} and {Belief}},\n\tvolume = {54},\n\tjournal = {Artificial Intelligence},\n\tauthor = {Halpern, J Y and Moses, Y},\n\tyear = {1992},\n\tpages = {319--379},\n}\n\n","author_short":["Halpern, J Y","Moses, Y"],"key":"Halpern/Moses:92","id":"Halpern/Moses:92","bibbaseid":"halpern-moses-aguidetocompletenessandcomplexityformodallogicsofknowledgeandbelief-1992","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/ifromm","downloads":0,"keywords":[],"search_terms":["guide","completeness","complexity","modal","logics","knowledge","belief","halpern","moses"],"title":"A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief","year":1992,"dataSources":["qv8ccPJBs55cWKHSz","N4kJAiLiJ7kxfNsoh"]}