✦ LIBER ✦

The Knower Paradox in the Light of Provability Interpretations of Modal Logic

✍ Scribed by Paul Égré

Publisher: Springer Netherlands
Year: 2005
Tongue: English
Weight: 247 KB
Volume: 14
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-005-6406-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Knower Paradox in the light of prova

The Knower Paradox in the light of provability interpretations of modal logic

✍ Paul Égré 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 247 KB

The modal logic of provability: Cut-elim

The modal logic of provability: Cut-elimination

✍ Silvio Valentini 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 216 KB

The Problem of Interpreting Modal Logic

✍ Quine, W V 📂 Fiction 📅 0 🌐 English ⚖ 245 KB

Continuum of normal extensions of the mo

Continuum of normal extensions of the modal logic of provability with the interpolation property

✍ L. L. Maksimova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 631 KB

A Modal Interpretation of the Logic of I

A Modal Interpretation of the Logic of Interrogation

✍ Rani Nelken; Chung-Chieh Shan 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 246 KB

PROVABILITY LOGIC IN THE GENTZEN FORMULA

PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC

✍ Paolo Gentilini; P. Gentilini 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 796 KB

## Abstract In this paper are studied the properties of the proofs in PRA of provability logic sentences, i.e. of formulas which are Boolean combinations of formulas of the form P~IPRA~(h), where h is the Gödel‐number of a sentence in PRA. The main result is a Normal Form Theorem on the proof‐trees