The Logic of Provability
From MaRDI portal
Publication:5187257
DOI10.2307/2322568zbMath0562.03007OpenAlexW4252809802MaRDI QIDQ5187257
Publication date: 1984
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2322568
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Decidability of theories and sets of sentences (03B25)
Related Items (8)
Plural Quantification Exposed ⋮ An axiomatic approach to self-referential truth ⋮ On the degrees of unsolvability of modal predicate logics of provability ⋮ From the knowability paradox to the existence of proofs ⋮ Dynamic Cantor Derivative Logic ⋮ On the Semantics of Intensionality ⋮ Explicit Provability and Constructive Semantics ⋮ Logical equations and admissible rules of inference with parameters in modal provability logics
This page was built for publication: The Logic of Provability
