%0 Journal Article
%A Yazaki, Daishi
%T Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3
%J Bulletin of the Section of Logic
%D 2019
%V 48
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2019_48_4_a3/
%G en
%F BSL_2019_48_4_a3