Levan Uridia

Common Knowledge in Epistemic Logic With Hypotheses

2019 · EPiC series in computing

We recall the epistemic logic S5r for reasoning about knowledge under hypotheses and we investigate the extension of the logic with an operator for common knowledge. The logic S5r is equipped with a modal operator …