scientific article
From MaRDI portal
Publication:3731573
zbMath0598.03012MaRDI QIDQ3731573
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kripke modelsformal provabilityextensions of GLlogics of provabilitySolovay's logic of all true laws of provability
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Metamathematics of constructive systems (03F50)
Related Items (5)
On bimodal logics of provability ⋮ Independent numerations of theories and recursive progressions ⋮ PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC ⋮ Undecidable properties of extensions of the logic of provability ⋮ Logical equations and admissible rules of inference with parameters in modal provability logics
This page was built for publication:
