A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
| Authors |
|
|---|---|
| Publication date | 2005 |
| Series | Technical Reports, PP-2005-16 |
| Number of pages | 20 |
| Publisher | Amsterdam: Institute for Logic, Language and Computation |
| Organisations |
|
| Document type | Working paper |
| Permalink to this page | |