Provability logics with quantifiers on proofs☆
Under an Elsevier user license
open archive
Keywords
Provability logic
First-order logic of proofs
Cited by (0)
- ☆
The work is partially supported by the Russian Foundation for Basic Research, Grants 98-01-00249, 99-01-01282, INTAS Grant 97-1259, and Grant DAAH04-96-1-0341, by DARPA under program LPE, project 34145.
Copyright © 2002 Elsevier Science B.V. All rights reserved.