On Incorporating Reasoning Time into Epistemic Logic

0Citations
Citations of this article
1Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free