Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3
Bulletin of the Section of Logic- Poland
doi 10.18778/0138-0680.48.4.01
Full Text
Abstract
Available in
Date
December 31, 2019
Authors
Publisher
Uniwersytet Lodzki (University of Lodz)