✦ LIBER ✦

Implementation with partial provability

✍ Scribed by Elchanan Ben-Porath; Barton L. Lipman

Book ID: 119295700
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 328 KB
Volume: 147
Category: Article
ISSN: 0022-0531
DOI: 10.1016/j.jet.2012.01.017

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Implementation with partial verification

✍ Nirvikar Singh; Donald Wittman 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 175 KB

Provably secure robust threshold partial

Provably secure robust threshold partial blind signature

✍ Zhenfu Cao; Haojin Zhu; Rongxing Lu 📂 Article 📅 2006 🏛 Science in China Press (SCP) 🌐 English ⚖ 225 KB

Provably secure convertible directed par

Provably secure convertible directed partially blind signatures

✍ Zhenjie Huang; Kefei Chen; Yumin Wang 📂 Article 📅 2007 🏛 Wuhan University 🌐 English ⚖ 301 KB

Nash implementation with partially hones

Nash implementation with partially honest individuals

✍ Bhaskar Dutta; Arunava Sen 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 264 KB

Bayesian implementation with partially h

Bayesian implementation with partially honest individuals

✍ Korpela, Ville 📂 Article 📅 2014 🏛 Springer 🌐 English ⚖ 198 KB

Provability logics with quantifiers on p

Provability logics with quantifiers on proofs

✍ Rostislav E. Yavorsky 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 124 KB

We study here extensions of the Artemov's logic of proofs in the language with quantiÿers on proof variables. Since the provability operator A could be expressed in this language by the formula ∃u[u]A, the corresponding logic naturally extends the well-known modal provability logic GL. Besides, the