A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Substructural epistemic logics
2015
Journal of Applied Non-Classical Logics
The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics (implicit belief) with distributive substructural logics (available evidence). Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point set. The main technical result is a general completeness theorem. Axiomatizations are provided by means of twosorted Hilbert-style calculi. It is
doi:10.1080/11663081.2015.1094313
fatcat:5wdmi7ffm5axhkhxdtkcgktyjq