Closed Fragments of Provability Logics of Constructive Theories

Research output: Contribution to journal › Article › Academic › peer-review

Cite this

@article{a6f22af92ec14ada8a2bc241bad10970,

title = "Closed Fragments of Provability Logics of Constructive Theories",

author = "A. Visser",

year = "2008",

language = "Undefined/Unknown",

volume = "73",

pages = "1081--1096",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "3",

}