Theoretical aspects of reasoning about knowledge | lit.salon