Search Results for author: Sophia Epstein

Found 1 papers, 0 papers with code

Epistemic Logic of Know-Who

no code implementations11 Dec 2020 Sophia Epstein, Pavel Naumov

The main technical result is a completeness theorem for the proposed system.

Cannot find the paper you are looking for? You can Submit a new open access paper.