Естественные модели для итерированных модальностей в системе Льюиса S4
Гуманитарный вестник
# 02·2017 5
{
} { }
{ }
{ }
{ }{ }
,
,
,
; , ;
,
,
<
;
p q p q
NCp NCq p q
p q p q
{
} { }
{ }
{ }
{ }{ }
{ }
{ }
{
}
{ }{ }
{
}
,
,
,
,
,
; , ;
,
,
,
,
p q p q
p q p q
NCp CCq p q p q p q
p q p q
<
;
{
} { }
{ }
{ }
{ }{ }
,
,
,
; , ;
,
,
<
;
p q p q
Cp Cq p q
p q p q
{
} { }
{ }
{ }
{ }{ }
{ }
{ }
{
}
{ }{ }
{
}
,
,
,
,
,
; , ;
,
,
,
,
<
;
p q p q
p q p q
CCp NCq p q p q p q
p q p q
{
} { }
{ }
{ }
{ }{ }
{ }
{
}
{ }
{
}
{ }
{
}
{ }
{
}
{ }
{ }
{
}
{ }{ }
{
}
{ }
{ }
{
}
{ }{ }
{
}
2.
,
,
,
,
1.
,
,
3.
,
,
,
; , ; 6.
,
7.
,
4.
,
,
8.
,
9.
,
5.
,
,
9
;
p q p q
p q p q
p q p q
p q p q
CCp CCq p q
p q
p q
p q p q
p q
p q
p q p q