Semantic admissibility criteria for deduction rules in S4 and Int
From MaRDI portal
Publication:1189069
DOI10.1007/BF01156607zbMath0745.03016MaRDI 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
03B45: Modal logic (including the logic of norms)
03B20: Subsystems of classical logic (including intuitionistic logic)
Cites Work