131

Contractionfree sequent calculi for intuitionistic logic
– R Dyckhoff
 1992

20

On Epistemic Logic with Justification
– Sergei Artemov , Elena Nogina
 2005

17

Functionality in the Basic Logic of Proofs
– Sergei Artemov, Tyko Straßen
 1993

331

Logic Programming with Focusing Proofs in Linear Logic
– Jeanmarc Andreoli
 1992

709

An Introduction to Modal Logic
– G E Hughes, M J Creswell
 1968

614

Light Linear Logic
– Jeanyves Girard

685

Introduction to metamathematics
– S C Kleene
 1952

13

Making knowledge explicit: How hard it is
– V Brezhnev, R Kuznets

14

On the complexity of the reflected logic of proofs
– Nikolai V. Krupski

7

Derivability in certain subsystems of the Logic of Proofs is Π p 2complete
– R Milnikel

3

On two models of provability
– S Artemov
 2007

14

A semantics for the logic of proofs
– Melvin Fitting
 2003

112

The Logic of Provability
– G Boolos
 1993

79

Intuitionistic logic
– D van Dalen
 1988

113

Explicit Provability And Constructive Semantics
– Sergei N. Artemov
 2001

43

Evidencebased common knowledge
– Sergei Artemov
 2004

32

Introducing Justification into Epistemic Logic
– S Artemov, E Nogina

36

Models for the logic of proofs
– A Mkrtychev
 1997

11

The singleconclusion proof logic and inference rules specification
– V N Krupski
 2001
