Documents Related by Co-Citation

131 Contraction-free 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 – Jean-marc Andreoli - 1992
709 An Introduction to Modal Logic – G E Hughes, M J Creswell - 1968
614 Light Linear Logic – Jean-yves 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 2-complete – 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 Evidence-based 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 single-conclusion proof logic and inference rules specification – V N Krupski - 2001