Substructural epistemic logics

Igor Sedlár
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
more » ... so shown that the framework presents a natural solution to the problem of logical omniscience.
doi:10.1080/11663081.2015.1094313 fatcat:5wdmi7ffm5axhkhxdtkcgktyjq