The Ontology of Justifications in the Logical Setting

Studia Logica 100 (1-2):17-30 (2012)
Abstract
Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the former
Keywords Justification Logic  Kripke models  Fitting models
Categories (categorize this paper)
DOI 10.1007/s11225-012-9387-x
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,133
Through your library
References found in this work BETA
The Logic of Justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
Explicit Provability and Constructive Semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The Logic of Proofs, Semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Realizations and LP.Melvin Fitting - 2009 - Annals of Pure and Applied Logic 161 (3):368-387.

View all 7 references / Add more references

Citations of this work BETA
Modal Logics, Justification Logics, and Realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.
Labeled Sequent Calculus for Justification Logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
On Non-Self-Referential Fragments of Modal Logics.Junhua Yu - 2017 - Annals of Pure and Applied Logic 168 (4):776-803.

View all 6 citations / Add more citations

Similar books and articles
Realizations and LP.Melvin Fitting - 2009 - Annals of Pure and Applied Logic 161 (3):368-387.
Liberalism and the General Justifiability of Punishment.Nathan Hanna - 2009 - Philosophical Studies 145 (3):325-349.
A Lewisian Semantics for S2.Edwin Mares - 2013 - History and Philosophy of Logic 34 (1):53-67.
Updating Theories.Sjoerd D. Zwart - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):375-395.
Facing the Consequences.Nathan Hanna - 2014 - Criminal Law and Philosophy 8 (3):589-604.
Setting Penalties: What Does Rape Deserve? [REVIEW]Michael Davis - 1984 - Law and Philosophy 3 (1):61 - 110.
Considering Capital Punishment as a Human Interaction.Christopher Bennett - 2013 - Criminal Law and Philosophy 7 (2):367-382.
Added to PP index
2012-02-08

Total downloads
38 ( #139,361 of 2,191,818 )

Recent downloads (6 months)
3 ( #95,146 of 2,191,818 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature