scientific article; zbMATH DE number 1341927

zbMath0933.03079MaRDI QIDQ4263489

Lev D. Beklemishev

Publication date: 21 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interpolationmodal logicKripke-style semanticsprovability predicatearithmetical theoriespropositional provability logicsrecursively enumerable first-order theorytruth provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: