The logic of justification

2016

Sergei Artemov

in: Readings in formal epistemology, Berlin,

Discovering knowability

a semantic analysis

2013

Sergei Artemov, Tudor Protopopescu

Synthese 190 (16)