A logic of knowing why

Xu, Chao; Wang, Yanjing; Studer, Thomas (2019). A logic of knowing why. Synthese Springer Netherlands 10.1007/s11229-019-02104-0

[img]
Preview
Text
KnowingWhy.pdf - Submitted Version
Available under License Publisher holds Copyright.

Download (258kB) | Preview
[img] Text
Xu2019_Article_ALogicOfKnowingWhy.pdf - Published Version
Restricted to registered users only until 30 January 2023.
Available under License Publisher holds Copyright.

Download (457kB) | Request a copy

When we say “I know why he was late”, we know not only the fact that he was late, but also an explanation of this fact. We propose a logical framework of “knowing why” inspired by the existing formal studies on why-questions, scientific explanation, and justification logic. We introduce the Kyi operator into the language of epistemic logic to express “agent i knows why φ” and propose a Kripke-style semantics of such expressions in terms of knowing an explanation of φ. We obtain two sound and complete axiomatizations w.r.t. two different model classes depending on different assumptions about introspection. Finally we connect our logic with justification logic technically by providing an alternative semantics and an in-depth comparison on various design choices.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Studer, Thomas

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISSN:

0039-7857

Publisher:

Springer Netherlands

Language:

English

Submitter:

Nenad Savic

Date Deposited:

21 Oct 2019 10:40

Last Modified:

24 Oct 2019 08:04

Publisher DOI:

10.1007/s11229-019-02104-0

BORIS DOI:

10.7892/boris.133942

URI:

https://boris.unibe.ch/id/eprint/133942

Actions (login required)

Edit item Edit item
Provide Feedback