Studia Logica 100 (1-2):17-30 (2012)
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)|
References found in this work BETA
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.
From the Knowability Paradox to the Existence of Proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.
A Quantified Logic of Evidence.Melvin Fitting - 2008 - Annals of Pure and Applied Logic 152 (1):67-83.
Citations of this work BETA
The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence.Alexandru Baltag, Bryan Renne & Sonja Smets - 2014 - Annals of Pure and Applied Logic 165 (1):49-81.
First Steps Towards Probabilistic Justification Logic.Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović & Thomas Studer - 2015 - Logic Journal of the IGPL 23 (4):662-687.
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.
Weak Arithmetical Interpretations for the Logic of Proofs.Roman Kuznets & Thomas Studer - 2016 - Logic Journal of the IGPL 24 (3):424-440.
Similar books and articles
Liberalism and the General Justifiability of Punishment.Nathan Hanna - 2009 - Philosophical Studies 145 (3):325-349.
Updating Theories.Sjoerd D. Zwart - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):375-395.
Logical and Epistemic Foundationalism About Grounding: The Triviality of Facts and Principles.Robert Jubb - 2009 - Res Publica 15 (4):337-353.
Which Modal Models Are the Right Ones (for Logical Necessity)?John P. Burgess - 2003 - Theoria 18 (2):145-158.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Setting Penalties: What Does Rape Deserve? [REVIEW]Michael Davis - 1984 - Law and Philosophy 3 (1):61 - 110.
Justified Commitments? Considering Resource Allocation and Fairness in Médecins Sans Frontières-Holland.Lisa Fuller - 2006 - Developing World Bioethics 6 (2):59–70.
Considering Capital Punishment as a Human Interaction.Christopher Bennett - 2013 - Criminal Law and Philosophy 7 (2):367-382.
Added to index2012-02-08
Total downloads35 ( #140,819 of 2,146,892 )
Recent downloads (6 months)2 ( #279,062 of 2,146,892 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.