 previous article in this issue | next article in this issue  |
Preview first page |
Document Details : Title: Two New Interpretations of Modality Subtitle: An Emendation Author(s): KARCZEWSKA, Anna Maria Journal: Logique et Analyse Volume: 262 Date: 2023 Pages: 83-93 DOI: 10.2143/LEA.262.0.3293614 Abstract : Garson advanced two kinds of semantics, inspired by his models for indefinite positional (or: topological) logics, for selected normal modal logic systems. The present paper will be concerned with F-semantics in which indices denote functions instead of (as they traditionally do) members of the universe. Garson conjectured that system K semantics may be achieved by allowing the set of functions to be empty. This conjecture is proven to be false. An F-semantics for the system K is provided. |
|
