Open Access
2003 General Frames for Relevant Modal Logics
Takahiro Seki
Notre Dame J. Formal Logic 44(2): 93-109 (2003). DOI: 10.1305/ndjfl/1082637806

Abstract

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.

Citation

Download Citation

Takahiro Seki. "General Frames for Relevant Modal Logics." Notre Dame J. Formal Logic 44 (2) 93 - 109, 2003. https://doi.org/10.1305/ndjfl/1082637806

Information

Published: 2003
First available in Project Euclid: 21 April 2004

zbMATH: 1071.03009
MathSciNet: MR2060057
Digital Object Identifier: 10.1305/ndjfl/1082637806

Subjects:
Primary: 03B45
Secondary: 03B47

Keywords: descriptive frame , Duality , general frame , relevant modal algebra , relevant modal logic , Routley-Meyer semantics

Rights: Copyright © 2003 University of Notre Dame

Vol.44 • No. 2 • 2003
Back to Top