Boolean modal logic wK4Dyn: doxastic interpretation

Authors:
Levan Uridia
Affiliations:
Universidad Rey Juan Carlos, Madrid, Spain and VIAM&TSU, Tbilisi, Georgia
Venue:
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Year:
2009

Citing 6
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Modal logic

Modal logic
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Three views of common knowledge

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision

Electronic Notes in Theoretical Computer Science (ENTCS)
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider the Boolean modal logic wK4Dyn for which we prove topological and Kripke completeness results. The main result is to show that wK4Dyn is expressively equivalent to the extended language with common belief and distributed belief operators over the class of all weakly transitive, regular Kripke frames.