logo
Introduction
Simulation and Transfer Results in Modal Logic – A Survey
Labelled Resolution for Classical and Non-classical Logics
Synchronization of Logics
Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics*
Knowledge on Treelike Spaces