A finitary treatment of the closed fragment of Japaridze's provability logic

L.D. Beklemishev, J.J. Joosten, M. Vervoort

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

Original language	Undefined/Unknown
Journal	Journal of Logic and Computation
Publication status	Published - 2005

Cite this

@article{a8b7b7cbffd745318ac4d8d96872d1c4,

title = "A finitary treatment of the closed fragment of Japaridze's provability logic",

author = "L.D. Beklemishev and J.J. Joosten and M. Vervoort",

year = "2005",

language = "Undefined/Unknown",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

}