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)

• Antonis Achilleos. Complexity jumps in multiagent justification logic under interacting justifications (new)

• Sergei Artemov and Roman Kuznets. Logical omniscience as infeasibility

• Alexandru Baltag, Bryan Renne, and Sonja Smets. The logic of justified belief, explicit knowledge, and conclusive evidence

• 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)

• Konstantinos Pouliasis and Giuseppe Primiero. J-Calc: A typed lambda calculus for Intuitionistic Justification Logic (new)

• Robert S. Milnikel. The logic of uncertain justifications

• 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)

• Evangelia Antonakos. Explicit generic common knowledge

• 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 implemented

• Melvin Fitting. Realization using the model existence theorem

• Meghdad Ghari. Distributed knowledge justification logics

• Alessandro Giordani. A logic of justification and truthmaking

• Alessandro Giordani. A new semantics for systems of logic of essence

• Simon Kramer. Logic of non-monotonic interactive proofs

• Hidenori Kurokawa and Hirohiko Kushida. Substructural logic of proofs

• Roman Kuznets and Thomas Studer. Update as evidence: Belief expansion

• Ioan Alfred Letia and Adrian Groza. Justificatory and explanatory argumentation for committing agents (new)

• Bob Milnikel. The logic of uncertain justifications.

• Igor Sedlár. Justifications, awareness and epistemic dynamics

• Thomas Studer. Decidability for some justification logics with negative introspection

• Ren-June Wang. Temporalizing modal epistemic logic

• Junhua Yu. Self-referentiality in the Brouwer–Heyting–Kolmogorov semantics of intuitionistic logic

Papers published in 2012 (last updated in September 2013)

• Evangelia Antonakos. Explicit generic common knowledge

  • Sergei Artemov. The ontology of justifications in the logical setting

• Sergei N. Artemov. Provability vs. computational semantics for intuitionistic logic

• Sergei N. Artemov and Tatiana Yavorskaya (Sidon). Binding modalities

• Alexandru Baltag, Bryan Renne, and Sonja Smets. The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge

• Francisco Pedro Bavera. Types for Security based-on Information Flow and Audited Computation

• Samuel Bucheli. Justification Logics with Common Knowledge

  • Samuel Buss and Roman Kuznets. Lower complexity bounds in justification logic

• Evgenij Dashkov. On Propositional Calculi That Represent the Notion of Provability

  • Melvin Fitting. Prefixed Tableaus and Nested Sequents

  • Meghdad Ghari. Realization Theorem for Epistemic Logic with Justification

• Meghdad Ghari. Cut Elimination and Realization for Epistemic Logics with Justification

• Meghdad Ghari. Distributed Knowledge with Justifications

• Remo Goetschi. On the Realization and Classification of Justification Logics

  • Remo Goetschi and Roman Kuznets. Realization for justification logics via nested sequents: Modularity through embedding

  • Hidenori Kurokawa. Tableaux and hypersequents for justification logics

• Hidenori Kurokawa. Tableaux and Hypersequents for Modal and Justification Logics

• Roman Kuznets and Thomas Studer. Justifications, Ontology, and Conservativity

  • Florian Lengyel and Benoit St-Pierre. Denial Logic

• Ioan Alfred Letia and Adrian Groza. Arguing with justifications between collaborating agents

  • Steffen Lewitzka. Necessity as justified truth

  • Robert Milnikel. Conservativity for logics of justified belief: Two approaches

  • Giuseppe Primiero. Intuitionistic Logic of Proofs with dependent proof terms

  • Bryan Renne. Multi-agent Justification Logic: communication and evidence elimination

• L. Menasché Schechter. A logic of plausible justifications

• Daniyar Shamkanov. Interpolation Properties of Provability Logics and Term Normalization for Reflexive Combinatory Logic

  • Thomas Studer. Justified Terminological Reasoning

• Thomas Studer. Lectures on justification logic

  • Ren-June Wang. Timed Modal Epistemic Logic

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. Why Do We Need 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. Possible world semantics for first order LP

  • Melvin Fitting. The realization theorem for S5: A simple, constructive proof

• Meghdad Ghari. Explicit Gödel-Löb Provability Logic

  • Vladimir Krupski. On symbolic models for Single-Conclusion Logic of Proofs

  • Bryan Renne. Public communication in justification logic

  • Bryan Renne. Simple Evidence Elimination in Justification Logic

• 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

  • Sergei Artemov. Tracking Evidence

  • Francisco Bavera and Eduardo Bonelli. Justification Logic and History Based Computation

  • Kai Brünnler, Remo Goetschi, and Roman Kuznets. A Syntactic Realization Theorem for Justification Logics

  • 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

  • Melvin Fitting. Justification Logics and Hybrid Logics

  • 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

  • Junhua Yu. Prehistoric Phenomena and Self-referentiality

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

• Natalia Novak. Computer-aided reasoning about knowledge and justifications

  • Bryan Renne. Propositional Games with Explicit Strategies

  • Bryan Renne. Evidence Elimination in Multi-Agent Justification Logic

  • Ren-June Wang. On Proof Realization on Modal Logic

  • Ren-June Wang. Knowledge, Time, and Logical Omniscience

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.