✦ LIBER ✦

Modal logics with several operators and provability interpretations

✍ Scribed by Tim Carlson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logics With Several Modal Operators

✍ MELVIN FITTING 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 316 KB

Provability interpretations of modal log

✍ Robert M. Solovay 📂 Article 📅 1976 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 696 KB

On systems of modal logic with provabili

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

Provability, truth, and modal logic

✍ George Boolos 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 313 KB

Predicate provability logic with non-mod

✍ Giorgie Dzhaparidze 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 585 KB

Modal operators with probabilistic inter

✍ M. Fattorosi-Barnaba; G. Amati 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 626 KB