1. Artemov, Sergei, and Tudor Protopopescu. 2010. Knowability from a logical point of view. In Technical Report TR-2010008, CUNY Ph.D. Program in Computer Science
2. Artemov, Sergei, and Tudor Protopopescu. 2016. Intuitionistic epistemic logic. The Review of Symbolic Logic 9: 266–298.
https://doi.org/10.1017/S1755020315000374
.
3. Chellas, Brian F. 1980. Modal logic: an introduction. Cambridge: Cambridge University Press
4. DeVidi, David, and Graham Solomon. 2001. Knowability and intuitionistic logic. Philosophia 28: 319–334.
https://doi.org/10.1007/BF02379783
.
5. Dummett, Michael. 1978. Truth and other enigmas, 145–165. London: Duckworth.