×

Found 35 Documents (Results 1–35)

A formal approach to the problem of logical non-omniscience. (English) Zbl 1483.68377

Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 221-235 (2017).
MSC:  68T27 91B24
PDFBibTeX XMLCite
Full Text: arXiv Link

Discussion: a mistake in dynamic coherence arguments? (English) Zbl 1386.03013

Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 153-161 (2016).
MSC:  03A05 03B42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software