Justification Logic Bibliography
306 titles so far
The presented bibliography is intended as a complete bibliography on the subject. It contains full bibliographical data as well as links to abstracts and full versions currently available on the Internet. The bibliography is available in two versions:
Web-page with links: JLBibliography.html
BibTeX-file: JLBibliography.bib
The web-page was created from the BibTeX-file by bibtex2html 1.96. The links in the BibTeX file do not prevent its use in papers as BibTeX just ignores them. For separate bibliographic items it is best to use the bib-links embedded into the web-page. Alternatively, the whole BibTeX-file can be downloaded and used.
Any corrections, however small, and additions, however large, are welcome. My contact emails can be found in the bibtex-file as well as on the Contacts page.
After half a year of hiatus caused by family reasons and by a migration from a PC to something better, the bibliography is up-to-date again and it will try to keep up with the publications.
Papers published in 2014 (last updated February 2014)
Sergei Artemov and Roman Kuznets. Logical omniscience as infeasibility
Walter Dean and Hidenori Kurokawa. The Paradox of the Knower revisited
Melvin Fitting. Possible world semantics for first-order logic of proofs
Meghdad Ghari. Labeled sequent calculus and countermodel construction for justification logics (new)
Yury Savateev. Proof internalization in generalized Frege systems for classical logic
Gabriela Steren and Eduardo Bonelli. Intuitionistic Hypothetical Logic of Proofs (new)
Junhua Yu. Self-referentiality of Brouwer–Heyting–Kolmogorov semantics
Junhua Yu. Prehistoric graph in modal derivations and self-referentiality (new)
Papers published in 2013 (last updated February 2014)
Sergei N. Artemov and Tatiana Yavorskaya (Sidon). Binding modalities (new)
Samuel Bucheli, Roman Kuznets, and Thomas Studer. Decidability for justification logics revisited
Melvin Fitting. Realization using the model existence theorem
Alessandro Giordani. A logic of justification and truthmaking
Alessandro Giordani. A new semantics for systems of logic of essence
Hidenori Kurokawa and Hirohiko Kushida. Substructural logic of proofs
Roman Kuznets and Thomas Studer. Update as evidence: Belief expansion
Igor Sedlár. Justifications, awareness and epistemic dynamics
Thomas Studer. Decidability for some justification logics with negative introspection
Junhua Yu. Self-referentiality in the Brouwer–Heyting–Kolmogorov semantics of intuitionistic logic
Papers published in 2012 (last updated in September 2013)
Sergei N. Artemov. Provability vs. computational semantics for intuitionistic logic
Sergei N. Artemov and Tatiana Yavorskaya (Sidon). Binding modalities
Francisco Pedro Bavera. Types for Security based-on Information Flow and Audited Computation
Evgenij Dashkov. On Propositional Calculi That Represent the Notion of Provability
Meghdad Ghari. Cut Elimination and Realization for Epistemic Logics with Justification
Remo Goetschi. On the Realization and Classification of Justification Logics
Hidenori Kurokawa. Tableaux and Hypersequents for Modal and Justification Logics
Roman Kuznets and Thomas Studer. Justifications, Ontology, and Conservativity
Ioan Alfred Letia and Adrian Groza. Arguing with justifications between collaborating agents
Papers published in 2011 (last updated in June 2012)
The main news of 2011 is the publication of the article "Justification Logic" in the Stanford Encyclopedia of Philosophy by Sergei Artemov and Melvin Fitting.
Antonis Achilleos. A Complexity Question in Justification Logic
Sergei Artemov and Tatiana Yavorskaya (Sidon). First-Order Logic of Proofs
Samuel Bucheli, Roman Kuznets, and Thomas Studer. Justifications for common knowledge
Samuel Bucheli, Roman Kuznets, and Thomas Studer. Partial Realization in Dynamic Justification Logic
Evgenij Dashkov. Arithmetical Completeness of the Intuitionistic Logic of Proofs
Melvin Fitting. The realization theorem for S5: A simple, constructive proof
Igor Sedlár and Juraj Podroužek. Logics of Moore's paradox
Daniyar Shamkanov. Strong Normalization and Confluence for Reflexive Combinatory Logic
Thomas Studer. An application of justification logic to protocol verification
Thomas Studer. Justification logic, inference tracking, and data privacy
Ren-June Wang. Knowledge, time, and the problem of logical omniscience
Ren-June Wang. Non-circular proofs and proof realization in modal logic
Papers published in 2010
Sergei Artemov. Justification of Knowledge: Philosophy and Logic
Francisco Bavera and Eduardo Bonelli. Justification Logic and History Based Computation
Samuel Bucheli, Roman Kuznets, Bryan Renne, Joshua Sack, and Thomas Studer. Justified Belief Change
Samuel Bucheli, Roman Kuznets, and Thomas Studer. Two Ways to Common Knowledge
Walter Dean and Hidenori Kurokawa. From the Knowability Paradox to the existence of proofs
Meghdad Ghari. Justification Counterpart of Distributed Knowledge Systems Logic<
Vladimir Krupski. Symbolic Models for Single-Conclusion Proof Logics
Roman Kuznets. A Note on the Abnormality of Realizations of S4LP
Roman Kuznets. Self-Referential Justifications in Epistemic Logic
Francesca Poggiolesi. Towards a Satisfying Proof Analysis of the Logic of Proofs
Igor Sedlár and Juraj Podroužek. Justification Logic as Dynamic Epistemic Logic?
Daniyar Shamkanov. Strong normalization and confluence for reflexive combinatory logic
Papers published in 2009
Horacio Arló-Costa and Kohei Kishida. Three proofs and the Knower in the Quantified Logic of Proofs — Comments to DeaKur09FEW given at Formal Epistemology Workshop 2009
Sergei Artemov and Roman Kuznets. Logical Omniscience as a Computational Complexity Problem
Eduardo Bonelli and Federico Feller. The Logic of Proofs as a foundation for certifying mobile computation as well as its extended version BonFel09Unp
Samuel Buss and Roman Kuznets. The NP-completeness of reflected fragments of justification logics
Walter Dean and Hidenori Kurokawa. Knowledge, proof and the Knower
Evan Goris. A modal provability logic of explicit and implicit proofs
Hidenori Kurokawa. Tableaux and hypersequents for Justification Logic
Roman Kuznets. A Note on the Use of Sum in the Logic of Proofs
Florian Lengyel. Cartesian Closed Categories for the Logic of Proofs
Robert Milnikel. Conservativity for logics of justified belief
Major updates
Google Pages will soon be migrated by Google to Google Sites. The main impact of the migration on this site is that Google Sites does not host html-files such as JLBibliography.html. In anticipation of the transition, I have moved all three html-files comprising the bibliography to my institutional hosting (the rest of the site is still hosted on Google Pages, then Sites). Please update your bookmarks for JLBibliography.html, JLBibliography_abstracts.html, and JLBibliography_bib.html. Each of them should be prefixed with http://www.iam.unibe.ch/~kuznets/.
To facilitate both the use of this collection as a complete database of sources and as an actual bib-file to produce bibliographies in papers, several entries are now provided in two variants: with a note describing the relationship of the paper to earlier/future publications, errata etc. and without such a note. To access the variant without a note, it is sufficient to add "nonote" to the end of the citekey of the full variant. For instance, Art97TRb refers to the full variant whereas Art97TRbnonote is the variant without the "Note" field. The latter variants are not present in any of the html-files, only in JLBibliography.bib.
Major update: abstracts and keywords added where available. If you have an abstract and/or keywords that are missing, please send them.
Intermediate version before the major update. Changes implemented as part of the update: 1) LNCS and ENTCS papers are recast as @INCOLLECTION (no visible change for most bibliographic styles). 2) All TARK and ESSLLI papers are reformatted slightly to better fit @INPROCEEDINGS format. 3) All APAL and JLC papers are reformatted as @ARTICLE, mention of the conference is omitted. Most of these changes are based on the ETH guidelines (pp.14-16). After the update is complete, I am planning to post a document that clearly describes the rules I followed in performing the update along with reasoning behind it.
pdf-version is discontinued.
Major update to the html version: the links in the html version of the bibliography are unified; links to individual bibliographic items are embedded into it.
html version of the bibliography with links is added (by Y. Bryukhov's suggestion). Please send your comments and suggestions about this version.
BibTeX source is added (by E. Pacuit's suggestion).
First version posted on July 23, 2008.