3 papers
cs.LO2023
Belief, knowledge and evidence
Steffen Lewitzka, Vinícius Pinto
We present a logical system that combines the well-known classical epistemic concepts of belief and knowledge with a concept of evidence such that the intuitive principle \textit{`…
cs.LO2020
Access-based Intuitionistic Knowledge
Steffen Lewitzka
We introduce the concept of access-based intuitionistic knowledge which relies on the intuition that agent knows if has found access to a proof of . Basic principles…
cs.LO2012
On some many-valued abstract logics and their Epsilon-T-style extensions
Steffen Lewitzka
Logical systems with classical negation and means for sentential or propositional self-reference involve, in some way, paradoxical statements such as the liar. However, the paradox…