The Ontology of Justifications in the Logical Setting

Studia Logica 100 (1-2):17-30 (2012)
Authors
Sergei Artemov
CUNY Graduate Center
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,225
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.

Analytics

Added to PP index
2012-02-08

Total downloads
41 ( #146,565 of 2,242,649 )

Recent downloads (6 months)
3 ( #156,360 of 2,242,649 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature