Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Document type

Article

Version

Published version

Publication date

Publication license

cc-by (c) Rossi, Niccolò, 2022
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

Director/Tutor

Journal ISSN

Volume Title

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.

Citation

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

Export metadata

JSON - METS

Share record