| Publication | Date of Publication | Type |
|---|
Serial properties, selector proofs and the provability of consistency
Journal of Logic and Computation | 2025-10-29 | Paper |
Larisa L'vovna Maksimova (obituary)
Russian Mathematical Surveys | 2025-09-19 | Paper |
| Beyond knowledge of the model | 2025-02-05 | Paper |
Saul Kripke (1940--2022)
The Bulletin of Symbolic Logic | 2025-01-24 | Paper |
Gregory Samuilovich Tseytin (obituary)
Russian Mathematical Surveys | 2024-01-25 | Paper |
| Preface to Intuitionistic modal logic 2017 | 2022-10-12 | Paper |
Towards Syntactic Epistemic Logic
Fundamenta Informaticae | 2022-10-07 | Paper |
Boris Abramovich Trakhtenbrot
Russian Mathematical Surveys | 2022-05-09 | Paper |
Editorial
Journal Of Logic And Computation | 2022-02-08 | Paper |
Justification awareness
Journal Of Logic And Computation | 2020-12-15 | Paper |
| Observable models | 2020-05-06 | Paper |
On aggregating probabilistic evidence
Journal Of Logic And Computation | 2020-04-29 | Paper |
| Justification logic. Reasoning with reasons | 2019-05-17 | Paper |
| The Provability of Consistency | 2019-02-19 | Paper |
| Justification awareness models | 2018-04-06 | Paper |
Constructive knowledge and the justified true belief paradigm
Indagationes Mathematicae. New Series | 2018-01-12 | Paper |
On aggregating probabilistic evidence
Logical Foundations of Computer Science | 2017-07-21 | Paper |
The Logic of Justification
Readings in Formal Epistemology | 2017-04-07 | Paper |
| Knowing the Model | 2016-10-16 | Paper |
INTUITIONISTIC EPISTEMIC LOGIC
The Review of Symbolic Logic | 2016-07-29 | Paper |
Binding modalities
Journal of Logic and Computation | 2016-04-28 | Paper |
Why do we need justification logic?
Games, Norms and Reasons | 2015-07-03 | Paper |
On definitive solutions of strategic games
Outstanding Contributions to Logic | 2015-05-11 | Paper |
| scientific article; zbMATH DE number 6389528 (Why is no real title available?) | 2015-01-22 | Paper |
| scientific article; zbMATH DE number 6389531 (Why is no real title available?) | 2015-01-22 | Paper |
Discovering knowability: a semantic analysis
Synthese | 2014-04-07 | Paper |
Logical omniscience as infeasibility
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
The ontology of justifications in the logical setting
Studia Logica | 2012-10-01 | Paper |
Preface to the special issue dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
| Existential semantics for modal logic | 2011-06-21 | Paper |
Tracking evidence
Fields of Logic and Computation | 2010-09-03 | Paper |
The logic of justification
The Review of Symbolic Logic | 2010-08-13 | Paper |
Logical Omniscience Via Proof Complexity
Computer Science Logic | 2009-03-12 | Paper |
The topology of justification
Logic and Logical Philosophy | 2008-11-10 | Paper |
Justification Logic
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Topological Semantics of Justification Logic
Computer Science – Theory and Applications | 2008-06-05 | Paper |
Symmetric Logic of Proofs
Pillars of Computer Science | 2008-03-25 | Paper |
The Intensional Lambda Calculus
Logical Foundations of Computer Science | 2008-01-04 | Paper |
The basic intuitionistic logic of proofs
Journal of Symbolic Logic | 2007-07-09 | Paper |
| On two models of provability | 2007-06-28 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Justified common knowledge
Theoretical Computer Science | 2006-08-16 | Paper |
Introducing Justification into Epistemic Logic
Journal Of Logic And Computation | 2006-02-21 | Paper |
| scientific article; zbMATH DE number 2209442 (Why is no real title available?) | 2005-09-28 | Paper |
| scientific article; zbMATH DE number 2174387 (Why is no real title available?) | 2005-06-08 | Paper |
Kolmogorov and Gödel's approach to intuitionistic logic: current developments
Russian Mathematical Surveys | 2004-12-01 | Paper |
| scientific article; zbMATH DE number 2006628 (Why is no real title available?) | 2003-11-23 | Paper |
| scientific article; zbMATH DE number 1751350 (Why is no real title available?) | 2003-05-29 | Paper |
| scientific article; zbMATH DE number 1735872 (Why is no real title available?) | 2002-12-11 | Paper |
Realization of Intuitionistic Logic by Proof Polynomials
Journal of Applied Non-Classical Logics | 2002-05-22 | Paper |
Explicit provability and constructive semantics
The Bulletin of Symbolic Logic | 2002-02-27 | Paper |
| scientific article; zbMATH DE number 1497741 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1499081 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1341617 (Why is no real title available?) | 2000-06-13 | Paper |
In Memoriam: Albert G. Dragalin 1941–1998
The Bulletin of Symbolic Logic | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 937363 (Why is no real title available?) | 1996-10-20 | Paper |
Data storage interpretation of labeled modal logic
Annals of Pure and Applied Logic | 1996-07-24 | Paper |
On first-order theories with provability operator
Journal of Symbolic Logic | 1995-02-13 | Paper |
Logic of proofs
Annals of Pure and Applied Logic | 1994-06-08 | Paper |
On propositional quantifiers in provability logic
Notre Dame Journal of Formal Logic | 1994-04-21 | Paper |
| scientific article; zbMATH DE number 517064 (Why is no real title available?) | 1994-04-17 | Paper |
| scientific article; zbMATH DE number 515725 (Why is no real title available?) | 1994-04-04 | Paper |
Finite Kripke models and predicate logics of provability
Journal of Symbolic Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4099259 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4061229 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4079379 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4197983 (Why is no real title available?) | 1988-01-01 | Paper |
Degrees of insolubility of extensions of arithmetic by true propositions
Russian Mathematical Surveys | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4006264 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4027437 (Why is no real title available?) | 1987-01-01 | Paper |
Arithmetically complete modal theories
Six Papers in Logic | 1987-01-01 | Paper |
ON MODAL LOGICS AXIOMATIZING PROVABILITY
Mathematics of the USSR-Izvestiya | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3976994 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3963790 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3884135 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3786776 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3724412 (Why is no real title available?) | 1980-01-01 | Paper |
Serial Properties, Selector Proofs, and the Provability of Consistency
(available as arXiv preprint) | N/A | Paper |
