scientific article

zbMATH Open0709.03010MaRDI QIDQ3491519

Vladimir Rybakov

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

provability logicadmissibility of inference rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Gödel numberings and issues of incompleteness (03F40)

Related Items (1)

Admissible inference rules and semantic property of modal logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3491519)