Semantic admissibility criteria for deduction rules in S4 and Int

DOI10.1007/BF01156607zbMath0745.03016OpenAlexW2034407637MaRDI QIDQ1189069

Vladimir Vladimirovich Rybakov

Publication date: 26 September 1992

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01156607

zbMATH Keywords

Kripke modelsintuitionistic logicadmissible inference rulesmodal logic S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic

This page was built for publication: Semantic admissibility criteria for deduction rules in S4 and Int