Search CORE

7 research outputs found

TR-2006003: Explicit Proofs in Formal Provability Logic

Author: Goris Evan
Publication venue: CUNY Academic Works
Publication date: 01/01/2006
Field of study

City University of New York

TR-2009003: On Proof Realization on Modal Logic

Author: Wang Ren-June
Publication venue: CUNY Academic Works
Publication date: 01/01/2009
Field of study

City University of New York

TR-2007019: Justification Logic

Author: Artemov Sergei
Publication venue: CUNY Academic Works
Publication date: 01/01/2007
Field of study

City University of New York

TR-2008010: The Logic of Justification

Author: Artemov Sergei
Publication venue: CUNY Academic Works
Publication date: 01/01/2008
Field of study

City University of New York

Explicit Proofs in Formal Provability Logic

Author: E. Goris
E. Nogina
G. Boolos
G.F. Schumm
K. Segerberg
P. Blackburn
R.M. Solovay
S.N. Artemov
S.N. Artemov
S.N. Artemov
T.L. Yavorskaya-Sidon
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2007
Field of study

core

core