Author: Urs Format: MarkdownItexa stub entry, for the moment just so as to satisfy links
<a href="https://ncatlab.org/nlab/revision/doxastic+logic/1">v1</a>, <a href="https://ncatlab.org/nlab/show/doxastic+logic">current</a>
a stub entry, for the moment just so as to satisfy links