Vi presenterar en fullständig, beslutsam logik för resonemang om en uppfattning om fullständigt tillförlitliga ("avslutande") bevis och dess förhållande till försvarbar (oförklarlig) tro och kunskap, liksom till deras uttryckliga motiveringar. Denna logik använder sig av ett antal evidensrelaterade begrepp som tillgänglighet, tillåtlighet och "godhet" av en bit av bevis, och bygger på en innovativ ändring av fäst semantiken för Artemovs Justification Logic utformad för att föregripa Gettier-type motexempel. Vi kombinerar detta med idéer från trosrevision och medvetenhetslogik för att ge en redogörelse för explicit motiverad (defeasible) kunskap baserad på avgörande bevis som tar itu med problemet med (logisk) allvetande.
Denna ram har också kopplats till begreppet uttrycklig och implicit övertygelse och trosrevidering i REF.
The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence
{'venue': 'Ann. Pure Appl. Log.', 'journal': 'Ann. Pure Appl. Log.', 'mag_field_of_study': ['Computer Science', 'Mathematics']}