| |
| 2001 | ||
|---|---|---|
| 4 | Rostislav E. Yavorsky: Provability logics with quantifiers on proofs. Ann. Pure Appl. Logic 113(1-3): 373-387 (2001) | |
| 2000 | ||
| 3 | Rostislav E. Yavorsky: On Arithmetical Completeness of First-Order Logics of Provability. Advances in Modal Logic 2000: 1-16 | |
| 2 | EE | Rostislav E. Yavorsky: On the Logic of the Standard Proof Predicate. CSL 2000: 527-541 |
| 1997 | ||
| 1 | Rostislav E. Yavorsky: Logical Schemes for First-Order Theories. LFCS 1997: 410-418 | |