In this paper I argue for the naturality and importance of the concept of reasoning-based knowledge, in contrast with the more familiar information-based knowledge, which is interpreted plainly by the possible world semantic setting. In search of a formal system for the concept, I propose two extensions of the newly introduced epistemic logical framework, $$\mathsf {tMEL}$$, which has formulas of form $$ K ^i\phi $$ to mean that $$\phi $$ is known by the agent at the time i. The two introduced extensions are $$\mathsf {tMEL^K}$$ and $$\mathsf {tMEL}^\infty $$, with each of them having a device representing the information-based knowledge and reasoning-based knowledge respectively. These extensions will be investigated and compared, and then I will demonstrate an application of $$\mathsf {tMEL}^\infty $$, with a detour to discuss Moore’s paradox from the reasoning-based knowledge point of view.
CITATION STYLE
Wang, R. J. (2017). On Incorporating Reasoning Time into Epistemic Logic. In Logic in Asia: Studia Logica Library (pp. 213–231). Springer Nature. https://doi.org/10.1007/978-981-10-6355-8_11
Mendeley helps you to discover research relevant for your work.