Presentation | 2002/5/17 A Survey of Dynamic Epistemic Logics and Dynamic Doxastic Logics from the point of view of Kripke Systems Norihiro OGATA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Recently, modal logic systems, of updates of common knowledge in announcements, games, and communication, called Dynamic Epistemic Logics, and Dynamic Doxastic Logics, handling belief revisions, have been proposed. This paper will survey them from the point of view of Kripke systems, generalized Kripke models in terms of coalgebras. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Dynamic Epistemic Logics / Dynamic Doxastic Logics / Kripke system / coalgebra |
Paper # | AI2002-4 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 2002/5/17(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Survey of Dynamic Epistemic Logics and Dynamic Doxastic Logics from the point of view of Kripke Systems |
Sub Title (in English) | |
Keyword(1) | Dynamic Epistemic Logics |
Keyword(2) | Dynamic Doxastic Logics |
Keyword(3) | Kripke system |
Keyword(4) | coalgebra |
1st Author's Name | Norihiro OGATA |
1st Author's Affiliation | Faculty of Language and Culture, Osaka University() |
Date | 2002/5/17 |
Paper # | AI2002-4 |
Volume (vol) | vol.102 |
Number (no) | 91 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |