✦ LIBER ✦

A Remark on M. K. Rennie's Paper “Models for Multiply Modal Systems”

✍ Scribed by V. B. Šehtman

Publisher: John Wiley and Sons
Year: 1977
Tongue: English
Weight: 181 KB
Volume: 23
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19770233609

No coin nor oath required. For personal study only.

✦ Synopsis

A REMARK ON M. K. RENNIE'S PAPER "MODELS FOR MULTIPLY MODAL SYSTEMS " by v. B. SEHTMAX (B. E. meXTMaH) in MOSCOW (U.S.S.R.) While reading the interesting paper "Models for multiply modal systems" by M. K. RENNIE, published in this Zeitschrift 16 (1970), 175-186, it was vexatious to find out a slight error which ruins the proof of the main theorem. Nevertheless this theorem is true, and the error may be corrected as it will be shown be1ow.l) Suppose that z,, is a semi-normal n-multiple modal system containing the axioms Ax.irjs (respectively Ax.ir, Ax.irjskt), S is a derivationally consistent set of well-formed formulae of g n . The completeness part of the theorem is to prove that there exists

📜 SIMILAR VOLUMES

A Remark on the Truth-Value Stipulation

A Remark on the Truth-Value Stipulation for the Modal System M′

✍ A. Nakamura 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 164 KB

A REMARK ON THE TRUTH-VALUE STIPULATION FOR THE MODAL SYSTEM M' by AEIRA NAKAMURA in Tokyo (Japan) \*i(\*ii\* \* l a , \*id \* L ( \* L ~ ( \* n i l , \*112) 9 \* ~2 ( \* ~2 1 ( \* ~2 1 1 ) ) ) - \* -1 In the above (l), (2) p , v q,, 1 p , mean max(p,, q<), 1pt respectively. 1) For example, first w