Files
Document type
ArticleVersion
Published versionPublication date
Publication license
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/216477
An enhanced model for Rosenkranz’s logic of justification
Journal Title
Authors
Director/Tutor
Journal ISSN
Volume Title
Related resource
Abstract
[eng] Rosenkranz (2021) devised two bimodal epistemic logics: an idealized one and a realistic one. The former is shown to be sound with respect to a class of neighborhood frames called i-frames. Rosenkranz designed a specific i-frame able to invalidate a series of undesired formulas, proving that these are not theorems of the idealized logic. Nonetheless, an unwanted formula and an unwanted rule of inference are not invalidated. Invalidating the former guarantees the distinction between the two modal operators characteristic of the logic, while invalidating the latter is crucial in order to deal with the problem of logical omniscience. In this paper, I present an i-frame able to invalidate all the undesired formulas already invalidated by Rosenkranz, together with the missing formula and rule of inference.
Subject (English)
Citation
Collections
Citation
ROSSI, Niccolò. An enhanced model for Rosenkranz’s logic of justification. Asian Journal of Philosophy. 2022. Vol. 1, num. 1. [consulted: 10 of August of 2026]. Available at: https://hdl.handle.net/2445/216477