✦ LIBER ✦

On Provability Logics with Linearly Ordered Modalities

✍ Scribed by Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten

Book ID: 120780383
Publisher: Springer Netherlands
Year: 2013
Tongue: English
Weight: 362 KB
Volume: 102
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-013-9490-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On systems of modal logic with provabili

On systems of modal logic with provability interpretations

✍ GEORGE BOOLOS 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 494 KB

A Modal Logic Based on Linearly Ordered(

A Modal Logic Based on Linearly Ordered(f)-Spaces

✍ V. F. Murzina 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 190 KB

Predicate provability logic with non-mod

Predicate provability logic with non-modalized quantifiers

✍ Giorgie Dzhaparidze 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 585 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

Modal logics with several operators and

Modal logics with several operators and provability interpretations

✍ Tim Carlson 📂 Article 📅 1986 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 393 KB

A Note on Bisimulation and Modal Equival

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

✍ Vedran Čačić, Domagoj Vrgoč 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 241 KB