General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.
Publié le : 2003-04-14
Classification:
relevant modal logic,
Routley-Meyer semantics,
relevant modal algebra,
general frame,
descriptive frame,
duality,
03B45,
03B47
@article{1082637806,
author = {Seki, Takahiro},
title = {General Frames for Relevant Modal Logics},
journal = {Notre Dame J. Formal Logic},
volume = {44},
number = {1},
year = {2003},
pages = { 93-109},
language = {en},
url = {http://dml.mathdoc.fr/item/1082637806}
}
Seki, Takahiro. General Frames for Relevant Modal Logics. Notre Dame J. Formal Logic, Tome 44 (2003) no. 1, pp. 93-109. http://gdmltest.u-ga.fr/item/1082637806/