2011 | OriginalPaper | Buchkapitel
Boolean Modal Logic wK4 Dyn - Doxastic Interpretation
verfasst von : Levan Uridia
Erschienen in: Logic, Language, and Computation
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We consider the Boolean modal logic
wK
4
Dyn
for which we prove topological and Kripke completeness results. The main result is to show that
wK
4
Dyn
is expressively equivalent to the extended language with common belief and distributed belief operators over the class of all weakly transitive, regular Kripke frames.