Szukaj
Wyświetlanie pozycji 1-1 z 1
Semantical Proof of Subformula Property for the Modal Logics K4.3, KD4.3, and S4.3
(Wydawnictwo Uniwersytetu Łódzkiego, 2019-12-31)
The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and ...