A second-order relevance logic with modality |
| |
Authors: | James B. Freeman Charles B. Daniels |
| |
Affiliation: | (1) University of Victoria, Victoria, British Columbia, Canada |
| |
Abstract: | In this paper a system, RPF, of second-order relevance logic with S5 necessity is presented which contains a defined, notion of identity for propositions. A complete semantics is provided. It is shown that RPF allows for more than one necessary proposition. RPF contains primitive syntactic counterparts of the following semantic notions: (1) the reflexive, symmetrical, transitive binary alternativeness relation for S5 necessity, (2) the ternary Routley-Meyer alternativeness relation for implication, and (3) the Routley-Meyer notion of a prime intensional theory, as well as defined syntactic counterparts, of the semantic notions of a possible world and the Routley-Meyer * operator. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|