Graduate studies at Western
|Abstract||Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given for both versions, and soundness and completeness are established.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
A. Avron & B. Konikowska (2008). Rough Sets and 3-Valued Logics. Studia Logica 90 (1):69 - 92.
Yoshihiro Maruyama (2010). Fuzzy Topology and Łukasiewicz Logics From the Viewpoint of Duality Theory. Studia Logica 94 (2):245 - 269.
Alexej P. Pynko (2010). Many-Place Sequent Calculi for Finitely-Valued Logics. Logica Universalis 4 (1):41-66.
Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Melvin Fitting (1995). Tableaus for Many-Valued Modal Logic. Studia Logica 55 (1):63 - 87.
Added to index2009-06-23
Total downloads29 ( #48,322 of 755,029 )
Recent downloads (6 months)1 ( #63,372 of 755,029 )
How can I increase my downloads?