• DocumentCode
    2455940
  • Title

    Medium modal logic-formal system and semantics

  • Author

    Jing, Zou ; Weide, Qui

  • Author_Institution
    Dept. of Comput. Eng., Shanghai Univ. of Technol., China
  • fYear
    1989
  • fDate
    29-31 May 1989
  • Firstpage
    20
  • Lastpage
    23
  • Abstract
    The authors construct a medium modal logic based on medium logic. They present three systems, MT, MS4, and MS5, which are, respectively, extensions of classical modal logic systems T, S4, and S5. The authors take medium set theory as a metalanguage to study semantics, proof soundness, and completeness
  • Keywords
    formal logic; MS4; MS5; MT; completeness; formal system; logic systems; medium modal logic; metalanguage; proof soundness; semantics; Acoustical engineering; Calculus; Logic; Set theory;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
  • Conference_Location
    Guangzhou
  • Print_ISBN
    0-8186-1947-3
  • Type

    conf

  • DOI
    10.1109/ISMVL.1989.37754
  • Filename
    37754
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2455940