Problems in the Logic of Provability
Publication date
2005-05
Authors
Beklemishev, L.D.
Visser, A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
In the first part of the paper we discuss some conceptual problems
related to the notion of proof. In the second part we survey five major
open problems in Provability Logic as well as possible directions for
future research in this area.