Simulation and Transfer Results in Modal Logic – A Survey Marcus KrachtFrank Wolter OriginalPaper Pages: 149 - 177
Labelled Resolution for Classical and Non-classical Logics D.M. GabbayU. Reyle OriginalPaper Pages: 179 - 216
Synchronization of Logics Amílcar SernadasCristina SernadasCarlos Caleiro OriginalPaper Pages: 217 - 247
Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics Nobu-Yuki Suzuki OriginalPaper Pages: 249 - 269