On admissibility of inference rules in the modal system \(G\)

zbMATH Open0845.03002MaRDI QIDQ1920037

Vladimir Rybakov

Publication date: 19 August 1996

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

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 (2)

Admissible inference rules and semantic property of modal logics ⋮ ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY

This page was built for publication: On admissibility of inference rules in the modal system \(G\)

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