Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics
暂无分享,去创建一个
[1] L. Maksimova. Interpolation theorems in modal logics. Sufficient conditions , 1980 .
[2] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .
[3] J. Jay Zeman. Semantics for S4.3.2 , 1972, Notre Dame J. Formal Log..
[4] L. Maksimova. Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras , 1979 .
[5] George Weaver,et al. Logical consequence in modal logic. II. Some semantic systems for S4 , 1974, Notre Dame J. Formal Log..
[6] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[7] A. Ehrenfeucht. An application of games to the completeness problem for formalized theories , 1961 .
[8] K. Fine. Some Connections Between Elementary and Modal Logic , 1975 .
[9] V. Meskhi. Kripke semantics for modal systems including S4.3 , 1974 .
[10] D. Gabbay. Craig's interpolation theorem for modal logics , 1972 .
[11] George Weaver,et al. Logical consequence in modal logic: Natural deduction in S5 , 1969, Notre Dame J. Formal Log..
[12] S. Kanger. Proceedings of the third Scandinavian Logic Symposium , 1975 .
[13] George Weaver. A Note on the Interpolation Theorem in First Order Logic , 1982, Math. Log. Q..
[14] G. Weaver. Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics , 1973 .