Documents Related by Co-Citation

132 Contraction-free Sequent Calculi for Intuitionistic Logic – R Dyckhoff - 1992
20 On Epistemic Logic with Justification – Sergei Artemov , Elena Nogina - 2005
18 Functionality in the Basic Logic of Proofs – Sergei Artemov, Tyko Straßen - 1993
66 1969] The Collected Papers of Gerhard Gentzen – G Gentzen
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
712 M.J.Cresswell. A new introduction to modal logic – G E Hughes - 1996
692 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
32 Introducing Justification into Epistemic Logic – S Artemov, E Nogina
11 The single-conclusion proof logic and inference rules specification – V N Krupski - 2001
77 Eine Interpretation des intuitionistischen Aussagenkalkuls. Ergebnisse – K Gödel - 1986
80 Intuitionistic logic – D van Dalen - 2002
114 Explicit Provability And Constructive Semantics – Sergei N. Artemov - 2001
43 Evidence-based common knowledge – Sergei Artemov - 2004