Open AccessCommon Knowledge in Well-structured Perfect Recall Systems
Author(s) -
N. O. Garanina
Publication year - 2015
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2013-6-10-21
Subject(s) - recall , decidability , fragment (logic) , computer science , common knowledge (logic) , model checking , theoretical computer science , artificial intelligence , natural language processing , programming language , description logic , epistemic modal logic , psychology , cognitive psychology , multimodal logic