TY - JOUR
T1 - Carnapova modální logika *C*
JF - Organon F
Y1 - 2010
A1 - Punčochář, Vít
AB - In this paper, we present Carnap’s modal logic C, which is one of the first attempts to use the concept of possible world (that of state description in the Carnapian original terminology) in shaping the semantics for modalities. Some older technical results, which concern the logic C, are summarized, namely two different kinds of axiomatization of C, one unusual characterization of C as the only set of formulae having one special property, and semantical and syntactical relations of C to S5. The fact that C is not closed under the universal substitution is shortly discussed. Finally, the predicate version of C, which is not axiomatizable, is defined.
IS - 2
VL - 17
SP - 163-184
UR - http://www.klemens.sav.sk/fiusav/doc/organon/2010/2/163-184.pdf
U2 - Papers
U3 - 163184
TI - Carnap’s Modal Logic C
ER -