Justification logic

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Justification logic.Sergei Artemov - forthcoming - Stanford Encyclopedia of Philosophy.
A new framework for justification logic.Alessandro Giordani - 2015 - Journal of Applied Non-Classical Logics 25 (4):308-323.
Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.
Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.
Justification Logic with Confidence.Ted Shear & John Quiggin - 2020 - Studia Logica 108 (4):751-778.
Justification logic: reasoning with reasons.S. N. Artemov - 2019 - New York, NY: Cambridge University Press. Edited by Melvin Fitting.
Lower complexity bounds in justification logic.Samuel R. Buss & Roman Kuznets - 2012 - Annals of Pure and Applied Logic 163 (7):888-905.
Consistency and Permission in Deontic Justification Logic.Federico L. G. Faroldi, Thomas Studer, Meghdad Ghari & Eveline Lehmann - forthcoming - Journal of Logic and Computation 1.
First steps towards probabilistic justification logic.Ioannis Kokkinis, Petar Maksimović, Zoran Ognjanović & Thomas Studer - 2015 - Logic Journal of the IGPL 23 (4):662-687.
Justification Logic as a foundation for certifying mobile computation.Eduardo Bonelli & Federico Feller - 2012 - Annals of Pure and Applied Logic 163 (7):935-950.

Analytics

Added to PP
2009-01-28

Downloads
47 (#328,968)

6 months
47 (#103,844)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Verification logic: An arithmetical interpretation for negative introspection.Juan Pablo Aguilera & David Fernández-Duque - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 1-20.

Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
A quantified logic of evidence.Melvin Fitting - 2008 - Annals of Pure and Applied Logic 152 (1):67-83.

View all 12 references / Add more references