ResearchPDF Available

非偶然算子的逻辑研究(PhD thesis)

Authors:

Abstract

Logical studies for noncontingency operator
1101110686
专 业
一五
坻 坩坩 坻
版权声明
  任何收存和保管本论文各种版本的单位和个人,未经本论文作者同意,不得
将本论文转借他人,亦不得随意复制、抄录、拍照或以任何方式传播。否则,引
起有碍作者著作权之问题,将可能承担法律责任。
坻 坩坶 坻
一个坮坯坮圭坣坯坮坴坩坮坧坥坮坴
一个坣坯坮坴坩坮坧坥坮坴
一个为主
一个
为主坡坧坮坯坳坴坩坣
也不一个为主
一个为主
坩坧坮坯坲坡坮坴
讨论不一
一个AD什么
子定讨论AD
两个
圁在ϕψ在圁ϕψ
圲地 圶地 代以
坻坶坻
使乏一
坬坯坧坩坣坳 坯坦 坩坧坮坯圭
坲坡坮坣坥在坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯圬 圲地地圳圬 圲地地圴圻 坓坴坥坩坮坳坶坯坬坤圬 圲地地圸圩
ϕϕϕ
ϕ坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圳圩
一个Ig坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩
了一个他们Ig G4
Ig 上也
一些
什么一个拓扑
LB 坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩 拓扑S4
AD 的相
以一
AD
两个全公
广态情
态情全公
分别加入公
两个
坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩
Ig G4 在坓坴坥坩坮坳坶坯坬坤圬 圲地地圸圩 拓扑
义下一些
辑这两个桥梁坡坮 坤坥坲
坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩 三个
坻 坶坩 坻
Logical Studies for Non-contingency Operator
坊坩坥 坆坡坮 在坌坯坧坩坣圩
坄坩坲坥坣坴坥坤 坢坹 坂坥坩坨坡坩 坚坨坯坵
Abstract
坁 坦坯坲坭坵坬坡 坩坳 坮坯坮圭坣坯坮坴坩坮坧坥坮坴圬 坩坦 坩坴 坩坳 坮坥坣坥坳坳坡坲坩坬坹 坴坲坵坥圬 坯坲 坩坴 坩坳 坮坥坣坥坳坳坡坲坩坬坹 坦坡坬坳坥圮
坁 坦坯坲坭坵坬坡 坩坳 坣坯坮坴坩坮坧坥坮坴圬 坩坦 坩坴 坩坳 坮坯坴 坮坯坮圭坣坯坮坴坩坮坧坥坮坴圬 坩圮坥圮圬 坩坦 坩坴 坩坳 坰坯坳坳坩坢坬坹 坴坲坵坥 坡坮坤
坰坯坳坳坩坢坬坹 坦坡坬坳坥圮 坔坨坥 坯坰坥坲坡坴坯坲坳 坯坦 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坡坮坤 坣坯坮坴坩坮坧坥坮坣坹 坨坡坳 坤坩國坥坲坥坮坴
坲坥坡坤坩坮坧坳 坩坮 坤坩國坥坲坥坮坴 坣坯坮坴坥坸坴坳圮 坯坲 坩坮坳坴坡坮坣坥圬 坩坮 坡 坤坯坸坡坳坴坩坣 坣坯坮坴坥坸坴圬 坠坡 坦坯坲坭坵坬坡 坩坳
坮坯坮圭坣坯坮坴坩坮坧坥坮坴圧 坭坥坡坮坳 坴坨坡坴 坴坨坥 坡坧坥坮坴 坩坳 坯坰坩坮坩坯坮坡坴坥坤 坡坳 坴坯 坷坨坥坴坨坥坲 坴坨坥 坦坯坲坭坵坬坡 坩坳
坴坲坵坥圬 坷坨坩坬坥 坠坡 坦坯坲坭坵坬坡 坩坳 坣坯坮坴坩坮坧坥坮坴圧 坭坥坡坮坳 坴坨坡坴 坴坨坥 坡坧坥坮坴 坩坳 坡坧坮坯坳坴坩坣 坡坢坯坵坴 坴坨坥
坶坡坬坵坥 坯坦 坴坨坥 坦坯坲坭坵坬坡圮 坉坮 坡坮 坥坰坩坳坴坥坭坩坣 坣坯坮坴坥坸坴圬 坠坡 坦坯坲坭坵坬坡 坩坳 坮坯坮圭坣坯坮坴坩坮坧坥坮坴圧 坭坥坡坮坳
坴坨坥 坡坧坥坮坴 坫坮坯坷坳 坷坨坥坴坨坥坲 坴坨坥 坦坯坲坭坵坬坡 坩坳 坴坲坵坥圬 坷坨坩坬坥 坠坡 坦坯坲坭坵坬坡 坩坳 坣坯坮坴坩坮坧坥坮坴圧 坭坥坡坮坳
坴坨坥 坡坧坥坮坴 坩坳 坩坧坮坯坲坡坮坴 坡坢坯坵坴 坴坨坥 坴坲坵坴坨 坶坡坬坵坥 坯坦 坴坨坥 坦坯坲坭坵坬坡圮
坁坬坴坨坯坵坧坨 坴坨坥 坯坰坥坲坡坴坯坲坳 坯坦 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坡坮坤 坣坯坮坴坩坮坧坥坮坣坹 坡坲坥 坤坥圌坮坡坢坬坥 坩坮
坴坥坲坭坳 坯坦 坮坥坣坥坳坳坩坴坹 坯坰坥坲坡坴坯坲 坯坲 坰坯坳坳坩坢坩坬坩坴坹 坯坰坥坲坡坴坯坲圬 坮坥坣坥坳坳坩坴坹 坯坰坥坲坡坴坯坲 坩坳 坮坯坴 坡坬坷坡坹坳
坤坥圌坮坡坢坬坥 坷坩坴坨 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坯坰坥坲坡坴坯坲圬 坡坳 坤坩坳坣坵坳坳坥坤 坩坮 坴坨坥 坬坩坴坥坲坡坴坵坲坥圮 坉坮 坴坨坩坳
坴坨坥坳坩坳圬 坷坥 坰坲坯坰坯坳坥 坡 坳坯圭坣坡坬坬坥坤 坠坡坬坭坯坳坴 坤坥圌坮坡坢坩坬坩坴坹圧 坳坣坨坥坭坡 坁坄圬 坭坡坫坩坮坧 坰坲坥坣坩坳坥 坷坨坥坮
坮坥坣坥坳坳坩坴坹 坯坰坥坲坡坴坯坲 坩坳 坤坥圌坮坡坢坬坥 坷坩坴坨 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坯坰坥坲坡坴坯坲圮 坔坨坥 坳坣坨坥坭坡 坣坡坮
坡坶坯坩坤 坴坨坥 坤坥坦坥坣坴坳 坯坦 坳坥坶坥坲坡坬 坰坲坯坰坯坳坡坬坳 坯坮 坠坨坯坷 坴坯 坤坥圌坮坥 坮坥坣坥坳坳坩坴坹 坯坰坥坲坡坴坯坲 坷坩坴坨 坮坯坮圭
坣坯坮坴坩坮坧坥坮坣坹 坯坰坥坲坡坴坯坲圧 坩坮 坴坨坥 坬坩坴坥坲坡坴坵坲坥圮 坉坮坳坰坩坲坥坤 坢坹 坴坨坥 坳坣坨坥坭坡 坁坄圬 坷坥 坰坲坯坰坯坳坥 坡
坮坯坴坩坯坮 坯坦 坢坩坳坩坭坵坬坡坴坩坯坮 坦坯坲 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣圬 坡 坬坯坧坩坣 坷坩坴坨 坴坨坥 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹
坯坰坥坲坡坴坯坲 坡坳 坴坨坥 坯坮坬坹 坰坲坩坭坩坴坩坶坥 坭坯坤坡坬坩坴坹 坂坡坳坥坤 坯坮 坴坨坥 坢坩坳坩坭坵坬坡坴坩坯坮圬 坷坥 坯坢坴坡坩坮 坴坷坯
坻 坶坩坩 坻
坁坢坳坴坲坡坣坴
坣坨坡坲坡坣坴坥坲坩坺坡坴坩坯坮 坲坥坳坵坬坴坳 坯坦 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣 坷坩坴坨坩坮 坳坴坡坮坤坡坲坤 坭坯坤坡坬 坬坯坧坩坣 坡坮坤
圌坲坳坴圭坯坲坤坥坲 坬坯坧坩坣圮
坎坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣 坩坳 坮坯坴 坡 坮坯坲坭坡坬 坭坯坤坡坬 坬坯坧坩坣圬 坢坥坣坡坵坳坥 圁在ϕψ
在圁ϕψ圩 坩坳 坮坯坴 坶坡坬坩坤圮 坁坳 坷坥 坷坩坬坬 坳坨坯坷圬 坩坴坳 坥坸坰坲坥坳坳坩坶坥 坰坯坷坥坲 坩坳 坳坴坲坩坣坫坬坹 坷坥坡坫坥坲
坴坨坡坮 坴坨坡坴 坯坦 坳坴坡坮坤坡坲坤 坭坯坤坡坬 坬坯坧坩坣 坯坶坥坲 坴坨坥 坣坬坡坳坳 坯坦 坭坯坤坥坬坳 坷坩坴坨坯坵坴 坲坥圍坥坸坩坶坩坴坹圬 坡坮坤
坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣 坣坡坮坮坯坴 坤坥圌坮坥 坭坡坮坹 坵坳坵坡坬 坦坲坡坭坥 坰坲坯坰坥坲坴坩坥坳圬 坴坨坥坲坥坢坹 坡坢坳坥坮坣坥 坯坦
坡坸坩坯坭坳 坣坨坡坲坡坣坴坥坲坩坺坩坮坧 坴坨坥坳坥 坦坲坡坭坥 坰坲坯坰坥坲坴坩坥坳圮 坔坨坥坳坥 坦坥坡坴坵坲坥坳 坭坡坫坥 坩坴 坨坡坲坤坥坲 坴坯 圌坮坤
坡坸坩坯坭坡坴坩坺坡坴坩坯坮坳 坯坦 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣 坯坶坥坲 坧坩坶坥坮 坦坲坡坭坥 坣坬坡坳坳坥坳圬 坥坳坰坥坣坩坡坬坬坹 坦坯坲 坴坨坥
坡坸坩坯坭坡坴坩坺坡坴坩坯坮 坯坶坥坲 坳坹坭坭坥坴坲坩坣 坦坲坡坭坥坳圮 坎坯 坡坸坩坯坭坡坴坩坺坡坴坩坯坮 坯坶坥坲 坳坹坭坭坥坴坲坩坣 坦坲坡坭坥坳
坩坳 坫坮坯坷坮圬 坤坥坳坰坩坴坥 坴坨坥 坲坩坣坨 坲坥坳坵坬坴坳 坡坢坯坵坴 坴坨坥 坡坸坩坯坭坡坴坩坺坡坴坩坯坮坳 坯坦 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹
坬坯坧坩坣 坯坢坴坡坩坮坥坤 坩坮 坴坨坥 坬坩坴坥坲坡坴坵坲坥 坳坩坮坣坥 坴坨坥 圱圹圶地坳圮 坂坥坳坩坤坥坳圬 坴坨坥坲坥 坨坡坳 坢坥坥坮 坮坯 坵坮坩坦坯坲坭
坭坥坴坨坯坤 坦坯坲 坰坲坯坶坩坮坧 坴坨坥 坣坯坭坰坬坥坴坥坮坥坳坳 坯坦 坡坬坬 坴坨坥坳坥 坡坸坩坯坭坡坴坩坣 坳坹坳坴坥坭坳圮
坎坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣 坡坬坳坯 坡坲坯坳坥 坩坮 坴坨坥 坡坲坥坡 坯坦 坥坰坩坳坴坥坭坩坣 坬坯坧坩坣 坢坵坴 坷坩坴坨 坴坨坥
坴坥坲坭坩坮坯坬坯坧坹 坠坬坯坧坩坣坳 坯坦 坩坧坮坯坲坡坮坣坥圧 在坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯圬 圲地地圳圬 圲地地圴圻 坓坴坥坩坮坳坶坯坬坤圬
圲地地圸圩圮 坔坨坥坲坥圬 坠ϕ坩坳 坮坯坮圭坣坯坮坴坩坮坧坥坮坴圧 坭坥坡坮坳 坠坴坨坥 坡坧坥坮坴 坫坮坯坷坳 坷坨坥坴坨坥坲 ϕ圧圬 坳坯 坴坨坡坴 坠ϕ
坩坳 坣坯坮坴坩坮坧坥坮坴圧 坭坥坡坮坳 坠坴坨坥 坡坧坥坮坴 坩坳 坩坧坮坯坲坡坮坣坥 坡坢坯坵坴 ϕ圧圮 坁坰坰坡坲坥坮坴坬坹 坵坮坡坷坡坲坥 坯坦 坴坨坥
坬坩坴坥坲坡坴坵坲坥 坯坮 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣圬 坡 坭坩坮坩坭坡坬 坳坹坳坴坥坭 Ig 坦坯坲 坴坨坥 坬坯坧坩坣 坯坦 坩坧坮坯坲坡坮坣坥
坩坳 坰坲坥坳坥坮坴坥坤 坩坮 在坶坡坮 坤坥坲 坈坯坥坫 坌坯坭坵坳坣坩坯圬 圲地地圳圩圬 坡坮坤 坴坨坥坮 坡 坳坹坳坴坥坭 Ig G4 坩坳
坣坬坡坩坭坥坤 坩坮 在坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯圬 圲地地圴圩 坴坯 坢坥 坳坯坵坮坤 坡坮坤 坣坯坭坰坬坥坴坥 坷坩坴坨 坲坥坳坰坥坣坴
坴坯 坴坨坥 坣坬坡坳坳 坯坦 坴坲坡坮坳坩坴坩坶坥 坦坲坡坭坥坳圮 坔坨坥 坳坹坳坴坥坭 Ig 坩坳 坥坳坳坥坮坴坩坡坬坬坹 坡 坭坩坮坩坭坡坬 坳坹坳坴坥坭
坦坯坲 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣圮 坍坯坲坥坯坶坥坲圬 坴坨坥 坡坵坴坨坯坲坳 坴坨坥坲坥 坰坯坳坥 坳坥坶坥坲坡坬 坯坰坥坮 坱坵坥坳坴坩坯坮坳圬
坩坮坣坬坵坤坩坮坧 坴坨坥 坦坯坬坬坯坷坩坮坧圮 坆坩坲坳坴圬 坨坯坷 坴坯 坡坸坩坯坭坡坴坩坺坥 坴坨坥 坬坯坧坩坣 坯坦 坩坧坮坯坲坡坮坣坥 坯坮 坯坴坨坥坲
坣坬坡坳坳坥坳 坯坦 坦坲坡坭坥坳圿 坓坥坣坯坮坤圬 坲坥圍坥坸坩坶坩坴坹 坩坳 坵坮坤坥圌坮坡坢坬坥 坩坮 坴坥坲坭坳 坯坦 坴坨坥 坬坯坧坩坣 坯坦 坩坧坮坯坲坡坮坣坥圮
坔坨坥坮 坨坯坷 坡坢坯坵坴 坯坴坨坥坲 坦坲坡坭坥 坰坲坯坰坥坲坴坩坥坳圿 坔坨坩坲坤圬 坷坨坡坴 坩坳 坴坨坥 坮坯坴坩坯坮 坯坦 坢坩坳坩坭坵坬坡坴坩坯坮
坦坯坲 坴坨坩坳 坬坯坧坩坣圿 坉坮 在坓坴坥坩坮坳坶坯坬坤圬 圲地地圸圩 坡 坴坯坰坯坬坯坧坩坣坡坬 坣坯坭坰坬坥坴坥坮坥坳坳 坯坮 坴坨坥 坣坬坡坳坳 坯坦 S4
坭坯坤坥坬坳 坩坳 坳坨坯坷坮 坦坯坲 坴坨坥 坬坯坧坩坣 坯坦 坩坧坮坯坲坡坮坣坥圮
坁坰坡坲坴 坦坲坯坭 坴坨坥 坭坯坤坥坬 坴坨坥坯坲坹 坯坦 坮坯坮坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣圬 坷坥 坷坩坬坬 坡坬坳坯 坰坲坥坳坥坮坴
坡坸坩坯坭坡坴坩坺坡坴坩坯坮坳 坯坶坥坲 坶坡坲坩坯坵坳 坦坲坡坭坥 坣坬坡坳坳坥坳圮 坉坮坳坰坩坲坥坤 坢坹 坴坨坥 坳坣坨坥坭坡 坁坄圬 坷坥 坨坡坶坥
坡 坲坡坴坨坥坲 坵坮坩坦坯坲坭 坭坥坴坨坯坤 坴坯 坤坥坡坬 坷坩坴坨 坴坨坥 坣坯坭坰坬坥坴坥坮坥坳坳 坯坦 坴坨坥坳坥 坳坹坳坴坥坭坳圬 坡坭坯坮坧
坷坨坩坣坨 坴坨坥 坳坹坭坭坥坴坲坹 坣坡坳坥 坩坳 坴坨坥 坭坯坳坴 坤坩圎坣坵坬坴圬 坢坥坣坡坵坳坥 坷坥 坮坥坥坤 坴坯 坵坳坥 坡 坭坥坴坨坯坤
坻 坶坩坩坩 坻
坠坳坹坭坭坥坴坲坩坣 坣坬坯坳坵坲坥 圫 坣坯坰坩坥坳 坯坦 坥坮坤坰坯坩坮坴坳圧圮 坂坹 坵坳坩坮坧 坴坨坥 坳坣坨坥坭坡 坁坄圬 坷坥 坣坡坮 圌坮坤 坴坨坥
坡坸坩坯坭坳 坣坨坡坲坡坣坴坥坲坩坺坩坮坧 坴坨坥 坣坬坡坳坳 坯坦 坲坥圍坥坸坩坶坥 坦坲坡坭坥坳 坡坮坤 坴坨坡坴 坯坦 坳坹坭坭坥坴坲坩坣 坦坲坡坭坥坳圬
坷坨坩坣坨 坡坲坥 坥坳坳坥坮坴坩坡坬 坦坯坲 坴坨坥 坣坯坭坰坬坥坴坥坮坥坳坳 坯坦 坴坨坥 坣坯坲坲坥坳坰坯坮坤坩坮坧 坦坲坡坭坥坳圮 坓坵坲坰坲坩坳坩坮坧坬坹圬
坴坨坥 坣坯坭坰坬坥坴坥坮坥坳坳 坯坦 坮坯坮坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣 坯坶坥坲 坳坹坭坭坥坴坲坩坣 坦坲坡坭坥坳 坣坡坮坮坯坴 坢坥 坥坸坴坥坮坤坥坤
坴坯 坴坨坥 坭坵坬坴坩坭坯坤坡坬 坣坡坳坥圬 坷坨坩坣坨 坷坩坬坬 坢坥 坥坸坰坬坩坣坡坴坥坤 坡坮坤 坨坡坮坤坬坥坤圮 坵坲坴坨坥坲坭坯坲坥圬 坷坥 坷坩坬坬
坥坸坴坥坮坤 坮坯坮坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣 坷坩坴坨 坰坵坢坬坩坣 坡坮坮坯坵坮坣坥坭坥坮坴坳 坡坮坤 坷坩坴坨 坡坣坴坩坯坮 坭坯坤坥坬坳圬
坡坮坤 坧坩坶坥 坣坯坭坰坬坥坴坥 坡坸坩坯坭坡坴坩坺坡坴坩坯坮坳 坦坯坲 坴坨坥坭 坤坵坥 坴坯 坴坨坥 坤坥坳坩坲坥坤 坲坥坤坵坣坴坩坯坮 坡坸坩坯坭坳圮
坔坨坩坳 坰坡坲坴 坷坩坬坬 坢坥 坦坯坬坬坯坷坥坤 坢坹 坡 坣坯坭坰坡坲坩坳坯坮 坷坩坴坨 坴坨坥 坬坩坴坥坲坡坴坵坲坥 坯坦 坮坯坮坣坯坮坴坩坮坧坥坮坣坹
坬坯坧坩坣 坡坮坤 坴坨坥 坬坯坧坩坣 坯坦 坩坧坮坯坲坡坮坣坥圬 坷坨坥坲坥 坷坥 坷坩坬坬 坳坨坯坷 坴坨坡坴 坴坨坥 坳坹坳坴坥坭 Ig G4 坰坲坯圭
坰坯坳坥坤 坩坮 在坶坡坮 坤坥坲 坈坯坥坫 坌坯坭坵坳坣坩坯圬 圲地地圴圩 坩坳 not 坳坯坵坮坤圮 坌坡坳坴 坢坵坴 坮坯坴 坬坥坡坳坴圬 坷坥
坬坩坦坴 坴坨坥 坴坯坰坯坬坯坧坩坣坡坬 坳坥坭坡坮坴坩坣坳 坯坦 坮坯坮坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣 坩坮 在坓坴坥坩坮坳坶坯坬坤圬 圲地地圸圩 坴坯 坭坯坲坥
坧坥坮坥坲坡坬 坮坥坩坧坨坢坯坲坨坯坯坤 坳坥坭坡坮坴坩坣坳圬 坡坮坤 坳坴坵坤坹 坴坨坥 坦坥坡坴坵坲坥坳 坯坦 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣
坵坮坤坥坲 坮坥坩坧坨坢坯坲坨坯坯坤 坳坥坭坡坮坴坩坣坳圮 坔坨坩坳 坴坨坥坳坩坳 坡坬坳坯 坢坲坩坤坧坥 坴坨坥 坧坡坰 坢坥坴坷坥坥坮 坴坨坥 坮坯坮圭
坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣 坡坮坤 坴坨坥 坬坯坧坩坣 坯坦 坩坧坮坯坲坡坮坣坥圬 坷坨坩坣坨 坩坳 坯坢坬坩坶坩坯坵坳 坴坯 坴坨坥 坲坥坳坥坡坲坣坨坥坲坳 坯坦
坴坨坥 坴坷坯 坤坩國坥坲坥坮坴 坡坲坥坡坳圮 坂坥坳坩坤坥坳圬 坷坥 坡坮坳坷坥坲 坴坨坥 坴坨坲坥坥 坯坰坥坮 坱坵坥坳坴坩坯坮坳 坲坡坩坳坥坤 坩坮 在坶坡坮
坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯圬 圲地地圴圩圮
Keywords: 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坯坰坥坲坡坴坯坲圬 坣坯坭坰坬坥坴坥坮坥坳坳圬 坥坸坰坲坥坳坳坩坶坩坴坹圬 坦坲坡坭坥 坤坥圌坮坡坢坩坬圭
坩坴坹圬 坮坥坩坧坨坢坯坲坨坯坯坤 坳坥坭坡坮坴坩坣坳
坻 坩坸 坻
坁坢坳坴坲坡坣坴
坻坸坻
1
地圮圱 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
地圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圵
9
圱圮圱 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圹
圱圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
圱圮圲圮圱 圮圮圮圮圮圮圮圮圮圮圮圮 圱
圱圮圲圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
圱圮圲圮圳 义一个圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
圱圮圲圮圴 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
圱圮圳 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
17
圲圮圱 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
圲圮圱圮圱 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
圲圮圱圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
圲圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圲
圲圮圳 两个圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圳
35
圳圮圱 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圳
圳圮圱圮圱 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圳
圳圮圱圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圳
坻 坸坩 坻
圳圮圲 一些圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圴
圳圮圲圮圱 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圴
圳圮圲圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圴
圳圮圳 畎畃界畂 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圵
63
圴圮圱 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圶
圴圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圶
圴圮圳 畎畃界畂m圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圶
77
圵圮圱 入公圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圷
圵圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圸
圵圮圳 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圸
91
圶圮圱 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圹
圶圮圲 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圹
圶圮圳 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
圶圮圴 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
圶圮圵 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
107
A一些119
B121
坂圮圱 坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圳圩 圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
坂圮圲 坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩 圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮圮 圱
C一些129
133
坻 坸坩坩 坻
135
坻 坸坩坩坩 坻
坻 坸坩坶 坻
0.1
一个一个
话说
分别坣坯坮坴坩坮坧坥坮坣坹 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹不一
坣坯坮坴坩坮坧坥坮坣坹 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹
讨论讨论
中他论证
AB
BA论证坂坲坯坧坡坮 在圱圹圶圷圩
讨论 在坣坦圮 坥圮坧圮圬 坍坡坲坣坯坳圬 圲地地圴圬 坰圮 圲圳圵圩
一个一个
该语一个在坚坯坬坩坮圬 圲地地圲圬 坮坯坴坥
圱圩
形式坍坯坮坴坧坯坭坥坲坹 坒坯坵坴坬坥坹他们
在坍坯坮坴坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹圬 圱圹圶圶圩 分别
ϕdef
2ϕ2ϕ, ϕdef
ϕ
坓圴坓圵
在坍坯坮坴坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹圬 圱圹圶圸坡圩 坓圴坓圵
坍坯坮坴坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹 在圱圹圶圸坢圩 坓圱
在坍坯坮坴坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹圬 圱圹圶圹圩
一个
坻圱坻
一个
1一个
一个
一个
坭坯坲坡坬 坩坮坤坩國坥坲坥坮坣坥在坶坯坮 块坲坩坧坨坴圬 圱圹圵圱圩
2一个于主
定它坩坧坮坯坲坡坮坣坥
在坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯圬 圲地地圳圬 圲地地圴圻 坓坴坥坩坮坳坶坯坬坤圬 圲地地圸圩
圲地圱地圩3坄坯坸坡坳坴坩坣 坌坯坧坩坣
于主也不
坵坮坤坥坣坩坤坥坤在坌坩坵 et al.圬 圲地圱圴圩
坐坲坯坶坡坢坩坬坩坴坹 坌坯坧坩坣一个
坵坮坤坥坣坩坤坡坢坬坥在坚坯坬坩坮圬 圲地地圱坢圩坓坰坡坴坩坡坬 坌坯坧坩坣当必
坩坮坴坥坲坩坯坲ϕϕ
也不ϕϕ坯坲坤坥坲
拓扑坴坯坰坯坬坯坧坩坣坡坬 坢坯坲坤坥坲在坓坴坥坩坮坳坶坯坬坤圬 圲地地圸圩
下也
一个
ϕdef
2ϕ2ϕ
不一坍坯坮坴坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹 在圱圹圶圶圩
子定2ϕdef
圽 圁ϕϕ
1Costa-Leite (2007) metaproperty contingency
Costa-Leite (2007) modal contingencyCosta-Leite (2007, p. 71)
2Epistemic Logic
cognition混淆Epistemic Logic
沿
3(2010) 一个
2010, 29 .一个价于
坻圲坻
地圮圱
坓坥坧坥坲坢坥坲坧 在圱圹圸圲圬 坰圮 圱圲圸圩 T2ϕϕ
才成什么
了三令人
一个
一个
中不
得异 为一个 S5
坌坥坭坭坯坮 均坪坥坲坴坳坥坮 圱圹圵圹 在坣坦圮 坈坵坭坢坥坲坳坴坯坮坥圬 圲地地圲圬 坮坯坴坥 圱地圩
化及 坍坯坮坴坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹 在圱圹圶圶圩
坈坵坭坢坥坲坳坴坯坮坥 在圱圹圹圵圩 一个
一个
坋坵坨坮 在圱圹圹圵圩
一个一个坚坯坬坩坮 在圱圹圹圹圩
圳圮圳 一个
一些态情
圴圮圳 态情
坬坯坧坩坣坳 坯坦 坩坧坮坯圭
坲坡坮坣坥在坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯圬 圲地地圳圬 圲地地圴圻 坓坴坥坩坮坳坶坯坬坤圬 圲地地圸圩
ϕϕϕ
ϕ坄坥坭坲坩 在圱圹圹圷圩
S5 一个4在坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯圬 圲地地圳圩
了一个并建一个全公
Ig在坶坡坮 坤坥坲 坈坯坥坫 坌坯坭坵坳坣坩坯圬 圲地地圴圩 了一个他们
Ig G4他们Ig 上也
一个了一些
4Hintikka (1962) knowing thatknowing whether
Demri Hintikka Kϕϕ并建
S5 一个(Humberstone,
2002, note 10) 中也
坻圳坻
一个拓扑义下LB 坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩
拓扑S4 坁坫坡坭坡 et al. 在圲地圱圲圩
坡 坬坯坧坩坣 坦坯坲 坮坯坮圭坩坧坮坯坲坡坮坣坥S5 一个
两个桥梁
一个
AD圱圮圳 AD
5
态情
以从
圴圮圳
太多坃坯坳坴坡圭坌坥坩坴坥 在圲地地圷圬
坰圮 圶圶圬 坮坯坴坥 圳圩 讨论坴坨坥 坣坯坮坴坩坮坧坥坮坣坹
坯坦 坴坨坥 坷坯坲坬坤坭坥坴坡坰坲坯坰坥坲坴坹 坣坯坮坴坩坮坧坥坮坣坹 坭坯坤坡坬 坣坯坮坴坩坮坧坥坮坣坹 在坣坦圮
坃坯坳坴坡圭坌坥坩坴坥圬 圲地地圷圬 坰圮 圷圱圩坃坯坳坴坡圭坌坥坩坴坥 在圲地地圷圩 讨论
在坣坦圮 坥圮坧圮圬 坃坯坳坴坡圭坌坥坩坴坥圬 圲地地圷圬 坰圮 圷圹圩坍坯坮坴坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹 在圱圹圶圶圩
坬坯坧坩坣坳 坯坦 坣坡坵坳坡坴坩坯坮 坡坮坤 坣坡坵坳坡坬 坩坭坰坬坩坣坡坴坩坯坮
坥坮坴坡坩坬坭坥坮
加到
一些坓圶圭坓圸一些
形式坓圵
5
坻圴坻
地圮圲
一个
往往
不下6人们
和命
在坣坦圮 坥圮坧圮圬 坄坥坭坲坩圬 圱圹圹圷圻 坏坲圠坬坯坷坳坫坡圬 圱圹圸圹圩
在坣坦圮 坥圮坧圮圬
坍坣坃坡坲坴坨坹圬 圱圹圷圹圻 坒坥坩坴坥坲圬 圲地地圱圻 坐坥坴坲坩坣 坂坡坣坣坨坵坳圬 圲地地圴圩
便一个续统在坈坡坲坴 et al.圬 圱圹圹圶圻 坈坥坩坦坥坴坺
圦 坓坡坭坥坴圬 圱圹圹圳圩坁坵坭坡坮坮 在圱圹圸圹圩 续统
坍坵坤坤坹 坃坨坩坬坤坲坥坮 坐坵坺坺坬坥在坍坯坳坥坳 et al.圬 圱圹圸圶圩
卦协均坯坳坳坩坰 坐坲坯坴坯坣坯坬坳在坈坥坤坥坴坮坩坥坭坩 et al. 圱圹圸圸圩
子对坁坴坴坡坭坡坨 et al. 在圲地圱圴圩
坡坬坴坥坲坮坡坴坩坶坥 坱坵坥坳坴坩坯坮坳
坩坮坱坵坩坳坩坴坩坶坥 坳坥坭坡坮坴坩坣中也讨论 在坣坦圮 坥圮坧圮圬 坁坬坯坮坩 et al.圬 圲地圱圳圻 坃坩坡坲坤坥坬坬坩
圦 坒坯坥坬坯坦坳坥坮圬 圲地圱圴圩坫坮坯坷坩坮坧
坶坡坬坵坥一个ϕϕ在坣坦圮 坐坬坡坺坡圬 圱圹圸圹圻
坶坡坮 坄坩坴坭坡坲坳坣坨圬 圲地地圷圻 块坡坮坧 坡坮圬 圲地圱圳圬 圲地圱圴圩
一个
0.2
6
也不不下
不下也不不下
坻圵坻
一个
一些
导定义一个
圁圭
两个
之为圁圭圁圭
圁圭
圳圮圱
圳圮圲 坡坮 坤坥坲 坈坯坥坫 圦
坌坯坭坵坳坣坩坯 在圲地地圴圩 一个
义一个
畎畃界畂 圳圮圳
畎畃界畂 畎畃界畂 广
畎畃界畂m圴圮圳
态情态情
分别
坣坯坰坹思想
变化
圵圮圱 一个
圵圮圲 一个两个
分别卦协
一个坡坮 坤坥坲
坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圬 坌坥坭坭坡 圴圮圲圩 的相
Ig G4
坻圶坻
地圮圲
义下
一个
坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩 拓扑一个广
AD 圱圮圳
圁圭
圲圮圲 圲圮圳
畎畃界畂
圳圮圳
畎畃界畂m
两个
坖坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圬 坌坥坭坭坡 圴圮圲圩 的相
Ig G4 圵圮圳圮圴
坛圱坝 坊坩坥 坆坡坮圬 坙坡坮坪坩坮坧 块坡坮坧 坡坮坤 坈坡坮坳 坶坡坮 坄坩坴坭坡坲坳坣坨圮 坃坯坮坴坩坮坧坥坮坣坹 坡坮坤 坋坮坯坷坩坮坧
块坨坥坴坨坥坲圮 The Review of Symbolic Logic圬 坃坡坭坢坲坩坧坥 坕坮坩坶坥坲坳坩坴坹 坐坲坥坳坳圬 坖坯坬坵坭坥 圸圬
坉坳坳坵坥 地圱圬 坰坡坧坥坳 圷圵圭圱地圷圬 坍坡坲坣坨 圲地圱圵圮
坛圲坝 坊坩坥 坆坡坮 坡坮坤 坈坡坮坳 坶坡坮 坄坩坴坭坡坲坳坣坨圮 坎坥坩坧坨坢坯坲坨坯坯坤 坃坯坮坴坩坮坧坥坮坣坹 坌坯坧坩坣圮 坉坮
Proceedings of 6th Indian Conference on Logic and its Applications (ICLA 2015)
坌坥坣坴坵坲坥 坎坯坴坥坳 坩坮 坃坯坭坰坵坴坥坲 坓坣坩坥坮坣坥圬 坖坯坬坵坭坥 圸圹圲圳圬 坰坡坧坥坳 圸圸圭圹圹圬 圲地圱圵圮
坛圳坝 坊坩坥 坆坡坮圬 坙坡坮坪坩坮坧 块坡坮坧 坡坮坤 坈坡坮坳 坶坡坮 坄坩坴坭坡坲坳坣坨圮 坁坬坭坯坳坴 坎坥坣坥坳坳坡坲坹 Ad-
坻圷坻
vances in Modal Logic圬 坖坯坬坵坭坥 圱地圬 坰坡坧坥坳 圱圷圸圭圱圹圶圬 圲地圱圴圬 坃坯坬坬坥坧坥 坐坵坢坬坩坣坡坴坩坯坮坳圮
坛圳坝坛圱坝坛圳坝
坛圱坝坛圲坝
坻圸坻
坍坯坮坴坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹 在圱圹圶圶圩 ϕdef
2ϕ2ϕ
子定
中一个广
了三
1.1
为了下便一个
1.1.1 CML,NCL,ML.P
CML
ϕ场场圽 甾 番 p番 町ϕϕϕϕ2ϕ
pPCML 2ϕ
NCLϕMLϕ
一个 NCL-ϕNCLϕ一个 ML-ϕML
中于NCL
2ϕϕϕϕ1
圬在ϕψ圩圬在ϕψ圩圬在ϕψ圩圬ϕ3ϕ分别町甾ϕ畞 町ψ圩圬在ϕ
1Humberstone (2002, page 95) ϕϕit is non-contingent whether
ϕ沿ϕ
坻圹坻
ψ圩圬在在ϕψψϕ圩圩圬ϕ, 2ϕϕϕ
从下
上也ϕ甤 町ϕ混淆
分别Vm
j=1 ϕjWm
j=1 ϕjϕ1畞 甁 甁 甁 ϕmϕ1畟 甁 甁 甁 ϕm
1.1.2 .一个一个二S, RS
RS一个二元关一个畨畆, V
VsS, s
混淆们一, s
, ss甲 畍 sSRs圩 圽 tSsRtsR
sSR些世为了下便
圴圵
畋畄圴圵
S, RR于一个S
一个 R
坻 圱地 坻
圱圮圱
1.1.3 .S, R, V CML 义为
, s
, s psVp
, s ϕ甬 畍, s ϕ
, s ϕψ甬 畍, s ϕ, s ψ
, s ϕt1, t2sRt1, sRt2
, t1ϕ甬 畍, t2ϕ
, s 2ϕtsRt, t ϕ
ϕ, s中为, s ϕ明显sϕ
ϕϕ, s, s ϕϕ
ϕ, s中为, s
ψ, s ψϕϕ
s甲 畍, s
, s ϕ往往ϕϕψ
ϕψ, s甲 畍
, s ϕ且仅, s ψ两个, s,, t-
, s, tNCL-, s,, t2-
, s2, tML-
ϕs上为且仅s可及ϕ
ϕ
, s ϕtsRt, t ϕ
tsRt, t ϕ
从上ϕ2ϕ2ϕϕ甤 町ϕ
为了三个s
一个ps果有
pss两个不使p
坻 圱圱 坻
ps中为
pp
s场 圁p s 场 圁p
OO
s场 圁p
OOp
sp
::
//p
, s ϕt1, t2使sRt1, sRt2, t1ϕ, t2ϕ.
NCL 2
圁在ϕψ在圁ϕψ
也不ϕψϕψ
sp, q
//p, q
oo
, s p圁在pq, s qpqq圁在pq
q
ϕψ/pϕ一个ψpϕ
NCL
1.1.4. ϕ, ψ NCLpPϕϕψ/p
.否命ϕψ/pϕ
ϕψ/p, s使, s ϕψ/pS, R, V
0S, R, V 0V0V0p圩 圽 tS番 畍, t
ψχχNCLtS, t
χψ/p圩 坩國 0, t χχ二个 坩國
, t χψ/p
坩國 s1, s2使tRs1, tRs2, s1χψ/p圩 坩國 , s2χψ/p
坩國 s1, s2使tRs1, tRs20, s1χ坩國 0, s2χ
坩國 0, t χ
坻 圱圲 坻
圱圮圲
, s ϕψ/p0, s ϕϕ
1.2
1.2.1
坍坯坮坴坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹 在圱圹圶圶圩 子定2ϕdef
圽 圁ϕϕ
坓坥坧坥坲坢坥坲坧 在圱圹圸圲圩
T2ϕϕ才成T
才成
1.2.1. 架构2ϕϕϕ
.S, R, V sS, s 2ϕ
, s ϕ, s ϕ, s ϕϕ
, s ϕϕ, s 2ϕtS使sRt
, t ϕsRssRt , t ϕ
坃坲坥坳坳坷坥坬坬
在圱圹圸圸圩 坥坲坵坭 2ϕ
D2ϕ3ϕ
s1
~~
s2
GGs3WW
oo
``
2ϕdef
在圁ϕϕ圁圁ϕ圩圩
1.2.2
坌坥坷坩坳 圦 坌坡坮坧坦坯坲坤 在圱圹圳圲圩 坅坸坩坳坴坥坮坣坥 坐坯坳坴坵坬坡坴坥
设说两个pq3p
坻 圱圳 坻
q3p畞町q圩圩坐坩坺坺坩 在圱圹圹圹圩 了一坃坯坮坴坩坮坧坥坮坣坹
坐坯坳坴坵坬坡坴坥价于设说一个
话说一个形式
pp坐坩坺坺坩 坰坲坯坰坯坳坩坴坩坯坮坡坬 坱坵坡坮坴坩圌坥坲坳子定
2ϕdef
p在圁在pϕp2ϕdef
pp甡 畲pϕ圩圩一个
坓坭坩坬坥坹 在圱圹圶圳圩 了一个τ
3ττ坐坩坺坺坩 在圲地地圶圬 圲地地圷圩 一个
Oττ坐坩坺坺坩 子定ϕdef
ϕ畞 甴τ
ϕ一个且仅
τ
1.2.3 义一个
为了
坋坵坨坮 在圱圹圹圵圩 λ使
sλs圩 圽 ϕψ, 圁在ϕψs一个
λs圩 圽 ϕψ, 圁在ψϕs大大坋坵坨坮
坚坯坬坩坮 在圲地地圱坡圩 了一个ϕdef
VψNCL 圁在ψϕ圩圮 坚坯坬坩坮 上与2
一个ϕψϕψ
ϕ
ϕ4ϕ  ϕ
5ϕϕ
ϕϕϕ
22
2ϕ22ϕ
ϕϕ上不
坻 圱圴 坻
圱圮圳
1.2.4
在坍坯坮坴圭
坧坯坭坥坲坹 圦 坒坯坵坴坬坥坹圬 圱圹圶圶圩在坃坲坥坳坳坷坥坬坬圬 圱圹圸圸圩
在坐坩坺坺坩圬
圱圹圹圹圩τ在坐坩坺坺坩圬 圲地地圶圬 圲地地圷圩τ一个
圱圮圱圮圳NCLϕ使ϕ
τ为一个τ
义了一个2
K45仍不2
B上不
一个2
一个
三个话说
且不
2
1.3
从一义上
件下
1.3.1. ϕ, ψ, χ NCL2, s ψ, s 2ϕ且仅
χ使, s ϕ圁在χϕ畞 町χ
., s ψ且仅
2ϕ, ψ, χ CML B
3.2.1 为了子对
NCL
坻 圱圵 坻
定存χ使, s ϕ圁在χϕ畞 町χ, s 2ϕ
t使sRt tϕ, s χt1, t2
sRt1, sRt2t1χ, t2χsϕ, sRt, sRt1tϕt1ϕ
t2ϕt1χϕt2χϕ, s 圁在χϕ
, s 2ϕ
, s 2ϕt使sRt , t ϕ, t ψ
ϕ, s ϕ, s 圁在ψϕ, s ψ
χψ使, s ϕ圁在χϕ畞 町χ
χψψ义为 ψ
1.3.2. ϕ, ψ NCL3
ψ2ϕϕ圁在ψϕ圩圩.4
2
ψ2ϕϕ圁在ψϕ圩圩
ADAD
TB
32
41.3.2 ψ2ϕϕ∆(ψϕ)Pizzi
τ2ψτ1.2.2
ψ使ψ
坻 圱圶 坻
讨论圲圮圱
圲圮圲
圲圮圳 两个
2.1
ML
义什么
话说义什么
2pp
NCL
一个
NCL ML
的相出关NCL
2.1.1
2.1.1 .两个L1, L2
坻 圱圷 坻
L2L1L1L2ϕL1
ψL2使ϕψ
L1L2L1L2L1L2L2L1
L1上严L2L1L2L1L2L2甶甖 L1
为了L1L2L2
L1L1L2L2甶甖 L1L2
ϕ使L1ϕψL1
畍 甲 ϕψ
2.1.2. ----NCL
ML.
.NCL ML t
tp p
tϕ tϕ
tϕψ圩 圽 tϕtψ
t在圁ϕ 2tϕ2tϕ
t一个ϕNCLϕtϕML
NCL ML 甶甖 NCLML2p
NCL, s, t
sp//ptp//p
?ϕNCL, s ϕ坩國 , t ϕ
ϕ圽 圁ψst一个ψ, s ψ
, t ψ, s ψ坩國 , t ψ
?NCL
2p?, s 2p坩國 , t 2p
坻 圱圸 坻
圲圮圱
, s 2p, t 2p2p
NCL
2.1.3. -NCL 上严ML
.0, s00, t02p
NCL0, s02p0, t02p
圲圮圱圮圲ϕNCL, s ϕ坩國 , t ϕ
0s0p//p
oo0t0p//p
oo
NCL ML 上一
2.1.4. -NCL ML 上一
.圲圮圱圮圲 tNCL ML
t0ML NCL
t0p p
t0ϕ t0ϕ
t0ϕψ圩 圽 t0ϕt0ψ
t02ϕ t0ϕt0ϕ
t0
ϕMLtϕt0ϕt
ML NCLNCL MLML NCL
圴圭圵圭
2.1.2
NCL 坚坯坬坩坮 在圱圹圹圹圩
坻 圱圹 坻
一个
1
2.1.5 .NCL 一个
且仅
一个ϕϕϕ
NCL 且仅NCL 使
2.1.6. ,0ϕNCL:ϕiff 0ϕ
.S, R,0S0, R0两个且令 ϕNCL
ϕ畨畆, V sS使, s ϕS0
s0S00V0使pPpV0s0圩 坩國 pVs
0ss0一个ψ
ψNCL, s ψ坩國 0, s0ψ, s ϕ
0, s0ϕ0ϕ
2.1.7. (Zolin, 1999) NCL
.两个
1s1//t//u2s2
圲圮圱圮圶NCL
1圈 坩國 2圈圮 2
1
一个NCL NCL
2211
1
NCL 1
s1Rt s1RttRt
11.1.2
坻 圲地 坻
圲圮圲
坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩 二个
ML NCL NCL ML
NCL
得很圳圮圲
2.2
ϕ2ϕ2ϕML 一个
个什么为了
2
2.2.1 2.S, R, V 0S0, R0, V 0两个
元关Z0一个 2-2-bisimulationZ
sZs0
InvpPsVp且仅s0V0p
2-ZigsRtt0S0使s0R0t0tZt0
2-Zags0R0t0tS使sRt tZt0
, s0, s02-2-bisimilar, s20, s0
0一个 2-Z使s, s0ZsZs0
混淆s2s0, s20, s0
22一个2
圲圮圲圮圶
2.2.2. S, R, V 0S0, R0, V 0两个, s2
0, s0么下三个
1. pPsVp且仅s0V0p
2. sRtt0S0使s0R0t0t2t0
3. s0R0t0tS使sRt t2t0
坻 圲圱 坻
.22
一个于一个互
坈坥坮坮坥坳坳坹圭坍坩坬坮坥坲
坩坭坡坧坥圭圌坮坩坴坥22
2.2.3. 两个, s0, s0NCL-
2-
sp//tp0s0p//t0p
什么
AD 2-Zig 2-Zag
AD ψ使
ψ件下2ψs中为
s两个圁圭s两个不互
3之为圁圭
2.2.4 在圁圭.S, R, V S元关Z
-ZsZs0
InvpPsVp且仅s0Vp
-ZigsRtt1, t2使sRt1, sRt2t1, t2/Z
t0使s0Rt0tZt0
-Zags0Rt0t0
1, t0
2使s0Rt0
1, s0Rt0
2t0
1, t0
2/Z
t使sRt tZt0
两个, s,0, s0-, s0, s0
0不交disjoint union-Z使sZs0
圁圭两个
两个圲圮圲圮圱 2
2M=hS, R, V isSs有有R
32.2.4
坻 圲圲 坻
圲圮圲
两个不交圲圮圲圮圱
圁圭两个
圁圭Zig Zag
圁圭
圁圭圁圭
为了圁圭圲圮圲圮圳
sp//tp0s0p//t0p
, s0, s0, s2
0, s0, s0, s0两个
Inv s一个-Zig
s0一个-Zag
两个 圁圭一个 圁圭以从
圁圭圁圭
2.2.5. S, R, V ZZ0-
ZZ0-
.ZZ0圁圭ZZ0圁圭
ZZ0ZZ0ZZ0
圁圭三个s, s0ZZ0sZs0sZ0s0
InvsZs0Z一个 圁圭pPsVp
s0VpsZ0s0Z0 圁圭
pPsVp且仅s0VppPsVp
且仅s0Vp
-ZigsRtt1, t2使sRt1, sRt2t1, t2/ZZ0
t1, t2/Zt1, t2/Z0sZs0Z一个 圁圭
t0使s0Rt0t, t0Zt, t0ZZ0sZ0s0Z0
一个 圁圭t0使s0Rt0t, t0Z0t, t0ZZ0
t0使s0Rt0t, t0ZZ0
坻 圲圳 坻
-Zag-Zig
圁圭圁圭圁圭
圁圭一个2
2两个 2即可
坃圮地圮圱地
圁圭2圁圭
2辑这一事
2.2.6. 两个, s,, t, s2, t, s
, t
., s2, t, s, t
, w2, uw, u来构Z
Zw, u, w2, uZ不交
圁圭使sZt
ZsZtZwZu
, w2, u圲圮圲圮圲 Inv-Zig
wRw0w1, w2使wRw1, wRw2w1, w2/Z圲圮圲圮圲
u0使uRu0w02u0Zw0Zu0-Zag
圲圮圲圮圲
圲圮圲圮圳 , s0, s0, s2
0, s0
NCL圁圭下不话说NCL
圁圭
2.2.7. S, R, V 0S0, R0, V 0sS, s0S0
, s0, s0, s0, s0--
., s0, s0ϕNCL, s ϕ且仅
0, s0ϕ
ϕϕ
坻 圲圴 坻
圲圮圲
, s ϕt1, t2使sRt1, sRt2t1ϕt2ϕ
Z0不交使sZs0t1ϕt2ϕ
t1, t2/ZsRt1-Zigt0
1使s0R0t0
1t1Zt0
1
, t10, t0
1t0
2使s0R0t0
2t2Zt0
2
, t20, t0
2t1t0
1t1ϕt0
1ϕ
t0
2ϕ0, s0ϕ-Zag
坈坥坮坮坥坳坳坹圭坍坩坬坮坥坲 圁圭圁圭
一个NCL圁圭
圁圭一些
2.2.8 NCL.NCL-saturateds甲 畍
NCLRsRs
NCL圁圭圁圭
NCL坈坥坮坮坥坳坳坹圭坍坩坬坮坥坲
NCL
2.2.9. NCL-, s,, t, s, t且 仅
, s, t
.圲圮圲圮圷 S, R, V ,
S0, R0, V 0两 个 NCL, s, t
, s, t一个 圁圭
, s, t-Zig-Zag
stsRs0s1, s2使sRs1, sRs2s1甶甑s2t0
使tR0t0s0t0圆 圽 ψNCL s0ψs0么任
s0Vs1甶甑s2ϕNCL使s1ϕ
s2ϕt0使tR0t0t0Vt0Vϕ
tVt圁在VϕstsVs圁在Vϕ
sRs0sRs2s0Vs2Vs1Vϕ
s2Vϕs圁在VϕsRs1, sRs2
坻 圲圵 坻
u使tR0uuVNCLt0使tR0t0
t0s0t0ψNCLs0ψψt0ψ
s0ψs0ψψt0ψt0ψ
NCL圲圮圲圮圹
2.2.10. 两个S, R, V 0S0, R0, V 0S畛畦s,
Rs, nn,Vpn圩 圽 nS0畛 畦s0, ω,R0s0, nn
畧畛畦s0, ω,V0pn圩 圽 n
s
((**
p1p2p3. . .
s0
''**
//ω0
p1p2p3. . .
NCL-NCL-圀 圽 畦町p1,p2,甁 甁 甁 ,pn,甁 甁 甁 畧
RsRs中不
, s0, s0ϕ于任NCL-ϕ, s ϕ
且仅0, s0ϕϕ, s ϕ且仅
0, s0ϕRsR0s0于从
sϕs0ϕx, y xϕ且仅
yϕϕ只包n
ϕϕNCL
n圫 圱 ϕ且仅ωϕnnϕ且仅
ωϕ0, s0ϕ
, s0, s00不交个互Z
使sZs0s0两个在圱,圲圩 /Z
s0R0ω(-Zag),s
nωZnpnωpn
圁圭
坻 圲圶 坻
圲圮圲
坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩
ML NCL 中不
圲圮圲圮圱圱
NCL
ML分别圲圮圱圮圱
圲圮圱圮圵
2.2.11. endpointML NCL
.ML 2
两个
sp//tp0s0p
, s0, s0NCL
s00, s0圲圮圲圮圷
, s sNCL
NCL
2.2.12. NCL
.两个
1s1//t//u2s2
ϕNCL1ϕ且仅2ϕϕNCL
1ϕ1畨畆1, V11s使1, s ϕV2
2使pPs2V2p且仅sV1p
1, s2, s2圲圮圲圮圷2, s2ϕ2ϕ
NCL设该2
2么也11
NCL
坻 圲圷 坻
2.2.13. NCL ML
.ϕdef
2ϕ2ϕML NCL
sp//p
ootp//p
oo
, s, tML2p两个
, s, t圲圮圲圮圷, s, t
NCL 两个
圁圭一个一互
坢坩坳坩坭坵坬坡坴坩坯坮 坣坯坮坴坲坡坣坴坩坯坮什么一个
且任
圵圭型在圵圭
2
2.2.14 2.S, R, V 2-2
坝 圽 S,R,V2-
S坝 圽 ssS,s坝 圽 tSs2t;
s坝坛R坝坛t且仅s0s, t0t使s0Rt0;
V坝在p圩 圽 sSsVp,pP.
仅仅义中2圁圭
不一圁圭
2.2.15. s1, t, s2两两 -s1坝 圽 s1, t, s2,u坝 圽 u,
0-0,s1坝圩 , s1:
, s1p0,s1p2-
一个2--
坻 圲圸 坻
圲圮圲
强弱
tp u pu坝 场 pu坝 场 p
s1p
OO
s2p
OO
s1坝 场 p
UU
OO
s1坝 场 p
UU
畍 畍0
为了一个圁圭
2.2.16 在圁圭.S, R, V -
一个坝 圽 S,R,V-
S坝 圽 ssSs坝 圽 tSst
s坝坛R坝坛t且 仅 s0s, t0t使s0Rt0t1, t2使
s0Rt1, s0Rt2t1t2s0s, t0t使s0Rt0s0t0
V坝在p圩 圽 sSsVppP
圲圮圲圮圱圵
圲圮圲圮圱圶 RR义与
2.2.17. s坝坛R坝坛ts0s, t0ts0坝坛R坝坛t0
圁圭圁圭且任
圵圭圁圭圵圭
2.2.18. S, R, V 坝 圽 S,R,V-
sS,在坛,s坝圩 , s
.Z在坛s, ssS畧 畛 畦t, t0tS, t0Stt0畧 畛 畦在坛s,t坝圩 s
S, t Sst在坛,s坝圩 , sZ不交
一个 圁圭SZ
Inv
坻 圲圹 坻
-ZigsZs, s坝坛R坝坛tt1, t2使s坝坛R坝坛t1,s坝坛R坝坛t2在坛t1,t2坝圩 /
ZuS使sRu tZus坝坛R坝坛tR
s0s, t0t, s0Rt0, s0t0在坛t1,t2坝圩 /Zt1t2
一个st1st2
s坝坛R坝坛t1,s坝坛R坝坛t2R定对i甲 畦,
s00 s, t0
iti使s00Rt0
it1
i, t2
i使s00Rt1
i, s00Rt2
it1
it2
i
s0s00一个 圁圭圁圭
x, y 使s0Rx, s0Ry xt1
i, y t2
i
xyss0, s0Rt0u使sRu
ut0t0tu坝圽坛tuZutZu
s0s, t0t使s0Rt0u1, u2使s0Ru1, s0Ru2u1
u2ss0圁圭-Zag
uS使sRu ut0t0tu坝圽坛tuZu
tZu
-ZagsZs, sRt u1, u2使sRu1, sRu2u1, u2/Z
Zu1u2Rs坝坛R坝坛t
tZt
2.2.19. S, R, V 坝 圽 S,R,V-
--
.圵圭圵圭R
sSsSRsRs
坃圮地圮圱地ssRs坝坛R坝坛s
s,tSs坝坛R坝坛tt坝坛R坝坛sR
s0s, t0t使s0Rt0s0t0R
坃圮地圮圱地t0t, s0s使t0Rs0t0s0
t坝坛R坝坛s
坻 圳地 坻
圲圮圳 两个
s0s, t0t使s0Rt0t1, t2使s0Rt1, s0Rt2t1
t2Rt0Rs0t0Rt1, t0Rt2
t坝坛R坝坛s
s,t,uSs坝坛R坝坛t,t坝坛R坝坛us坝坛R坝坛u
下两
s0s, t0t使s0Rt0s0t0t00 t, u0u
使t00Ru0t00 u0s坝 圽 坛tt坝 圽 坛u
s坝坛R坝坛u
s0s, t0t使s0Rt0t1, t2使s0Rt1, s0Rt2t1t2
t00 t, u0u使t00Ru0u1, u2使t00 Ru1, t00Ru2
u1u2t0t00一个 圁圭
u00 使t0Ru00 u00 u0s0Rt0, t0Ru00 R
s0Ru00u00 uRs坝坛R坝坛u
圲圮圲圮圱圶 坡坮 et al. 在圲地圱圴圬 坄坥坦圮 圳圮圱圲圩 R
s坝坛R坝坛t且仅s0s, t0t使s0Rt0t1, t2使s0Rt1, s0Rt2
t1t2
义下圲圮圲圮圱圹 一个
一个s一个 圵圭
R一个s
R一个 圵圭
R圲圮圲圮圱圶一个
一个ssRs ss坃圮地圮圱地R
s坝坛R坝坛s一个 圵圭
2.3 两个
ϕdef
2ϕ2ϕNCL ML
一个ML FOL 一个坁圮地圮圵
坻 圳圱 坻
NCL FOL 一个两个什么
分别ML FOL NCL
一些可参坂坬坡坣坫坢坵坲坮 et al. 在圲地地圱圩
2.3.1 .S, R, V ,ue圩 圽 UfS, Rue, V ue
ultrafilter extension
UfS圩 圽 uuS一个,
uRuevXXvmXumX圩 圽 s
tX, sRt;
Vuep圩 圽 uU f SVpu.
NCL ML 一个NCL ML
坁圮地圮圴
2.3.2. s甲 畍ueNCL-
, sue, πs
2.3.3. , s,, t两个, s, t
ue, πsue, πt
.圲圮圳圮圲 和 命圲圮圲圮圹
两个NCL ML 圁圭
下不FOL 圁圭下不
ϕML αFOLϕα-下不
, s,, t使, s, t, s ϕ且仅, t ϕ
, s α且仅, t α
2.3.4. ϕMLϕ价于NCL-且仅ϕ-
下不
.圲圮圲圮圷
ϕ圁圭ϕ
MOCϕ圩 圽 tψψNCL ϕtψt一个从 NCL ML
坻 圳圲 坻
圲圮圳 两个
NCL一个ML
χψtψ圩 圽 2tχ2tχ
MOCϕϕMOCϕ
T使TϕVTϕMOCϕ
ϕVTϕVTϕVTT价于一
NCLVT
MOCϕϕ, s, s MOCϕ
, s ϕXtψ番 畍, s tψ, ψ NCLX畛 畦ϕ
XX0使
ϕ VX0ϕVX0VX0M OCϕ
, s VX0, s XX0X
X畛 畦ϕ, t使, t X畛 畦ϕ
, s, tψNCL, s ψ, s tψ
tψX, t tψ, t ψ, s ψ, s ψ
, s tψtψX, t tψ, t ψ
, t ψ
分别ueue, s
, t圲圮圳圮圳ue, πsue, πt, t ϕ圲圮圳圮圲
ue, πtϕϕ圁圭下不ue, πsϕ圲圮圳圮圲
, s ϕ
2.3.5. αFOLα价于NCL-且仅α-
下不
.圲圮圲圮圷
α圁圭2圁圭
圲圮圲圮圶α也一2坁圮地圮圵α价于ML
ϕϕ圁圭下不圲圮圳圮圴圬 ϕ价于
NCLα价于NCL
坻 圳圳 坻
坻 圳圴 坻
化及圳圮圱
圳圮圲
NCL 化及
NCL NCL 上严
MLML NCL
NCL
使NCL
NCL
AD
成所
3.1
3.1.1
一个NCL 一个
3.1.1 畎畃界.畎畃界
坻 圳圵 坻
畎畃界
TAUT
Con 圁在ϕψ圁在ϕψψ
Dis ϕ圁在ϕψ圁在ϕχ
Equ ϕϕ
MP ϕ, ϕ ψ
ψ
GENϕ
ϕ
REϕψ
ϕψ
NCL ϕNCLϕ一个ϕ
NCL-畎畃界 一个
一个过运畎畃界
ϕ一个ϕ一个ϕ畎畃界
ϕ畎畃界 一个ϕ
Con 一个不仅
且也为
Dis 一个
Equ 一个
且仅GEN
1RE
GEN畎畃界 畎畃界 GEN
中不坡坤坭坩坳坳坩坢坬坥畎畃界 GEN
为了TAUT GEN
畎畃界 GEN义一个
使ϕ
畎畃界 GEN
畎畃界 GEN中不GEN畎畃界 GEN中不
畎畃界 GENGEN畎畃界
畎畃界 义下
1
坻 圳圶 坻
圳圮圱
3.1.2 畎畃界 .畎畃界
.Con,Dis,Equ
Con圁在ϕψ圁在ϕψψ
, s使, s 圁在ϕψ圩圬 , s 圁在ϕψ, s ψ
t1, t2甲 畍 使sRt1, sRt2t1ψt2ψt1ψ
t1ϕψt1ϕψ, s 圁在ϕψ, s 圁在ϕ
ψt2ϕψt2ϕψt2ϕt2ϕ
Disϕ圁在ϕψ圁在ϕχ
, s使, s ϕ, s 圁在ϕψ, s 圁在ϕχ
, s 圁在ϕψt1, t2 使sRt1, sRt2t1ϕ畞 町ψ
t2ϕψ, s 圁在ϕχu1, u2甲 畍 使sRu1, sRu2
u1ϕ畞 町χu2ϕχsϕt1ϕsRt1
Equϕϕ是显
3.1.3. Sub 畎畃界
Sub ϕψ, χϕ/pχψ/p.2
.χχϕψ
χϕ/pχψ/pRE圁在χϕ/p坝圩 圁在χψ/p坝圩
χϕ/pχψ/p
RE畎畃界 圁在ϕψ
在圁ϕψ
Sub 畎畃界 为了Sub 畎畃界
RE
下一畎畃界 一些
3.1.4.
ϕ圁在ϕψ畞 町ψ圁在ϕδδ
2χ[ϕ/p]ϕpχ
坻 圳圷 坻
.
i圩 圁在ϕψ畞 町ψ甡 町圁在ϕψ圩 圁Con
ii圩 圁ϕ圁在ϕψ圁在ϕδ圩 圁Dis
iii圩 圁在ϕδ圁在ϕδδCon
iv圩 圁ϕ圁在ϕψ畞 町ψ圁在ϕδδTAUT,iiii
3.1.5. k:
圁在
k
^
j=1
ϕj甡 町ψ
k
^
j=1
ϕj
k
^
j=1
圁在ψϕjψ
.k
在圱圩 k圽 圱圁在ϕ1甡 町ψϕ1圁在ψϕ1ψ
TAUTRE圁圬 圁Con Equ
在圲圩 坉坈knkn
圁在
n+1
^
j=1
ϕj甡 町ψ
n+1
^
j=1
ϕj
n+1
^
j=1
圁在ψϕjψ
i圩 圁在Vn
j=1 ϕj甡 町ψVn
j=1 ϕjVn
j=1 圁在ψϕjψ坉坈
ii圩 在圁在ϕn+1 Vn
j=1 ϕj甡 町ψ圩圩 圁在ϕn+1 甡 町ψ
畞町ψϕn+1圁在Vn
j=1 ϕj甡 町ψ..
iii圩 在圁在Vn+1
j=1 ϕj甡 町ψ圩圩 圁在ψϕn+1畞 町ψTAUT,RE,
ϕn+1圁在Vn
j=1 ϕj甡 町ψ圩 圁Equ,ii
iv圩 在圁在Vn+1
j=1 ϕj甡 町ψ圩圩 Vn+1
j=1 ϕj畞 町ψ
Vn+1
j=1 圁在ψϕjψTAUTi圩在iii
v圩 圁在Vn+1
j=1 ϕj甡 町ψVn+1
j=1 ϕjVn+1
j=1 圁在ψϕjψTAUTiv
坻 圳圸 坻
圳圮圱
3.1.2
畎畃界 AD
3.1.6 畎畃界 .cSc, Rc, V c畎畃界
Scss畎畃界-
s, t ScsRct且仅ψ使
ψs
ϕϕ圁在ψϕsϕt
Vcp圩 圽 sScps.
畎畃界畎畃界
RcML
义中RcsRct且仅
ϕ2ϕsϕtψs2ϕs
ϕ圁在ψϕsRcs中不ψ
sRc
3.1.7 .SS-
S-
3.1.8 .ϕNCLs甲 畍c
c, s ϕϕs.
.ϕϕ圽 圁ψc, s ψ
ψs
ψ /sψsc, s ψ
t1, t2Sc使sRct1, sRct2ψt1,ψt2
圱圮 χχ圁在ψχs畧畛畦ψ
圲圮 χ0χ0圁在ψχ0s畧 畛 畦町ψ
χ1,甁 甁 甁 , χn使χ1畞 甁 甁 畞 χn
ψj坛圱, nχj圁在ψχjsGEN
坻 圳圹 坻
圁在Vn
j=1 χj甡 町ψ圁在Vn
j=1 χj甡 町ψs圳圮圱圮圵ψs
Equ
t1Sc使χχ圁在ψχsψ畧 甒 t1
RcsRct1ψt1t2Sc使
sRct2ψt2
圽场ψsψsc, s ψ
t1, t2Sc使sRct1, sRct2ψt1ψt2sRct1Rc
χ使χs?圩 场 δδ圁在χδsδt1
?ψ /t1圁在χ甡 町ψ/s圁在ψ甡 町χ/s
sRct2, ψ /t2Rcχ0使圁在ψ甡 町χ0/s
圁在ψ甡 町χ圁在ψ甡 町χ0/sDisψ /s
圳圮圱圮圷 圳圮圱圮圸
3.1.9 畎畃界 .畎畃界
.NCL ϕNCLϕ畛 畦町ϕ畎畃界
圳圮圱圮圷圬 sSc使畦町ϕ畧 甒 s圳圮圱圮圸s畦町ϕ
ϕ
圲圮圱圮圲NCL ML 一个NCL
ML 一个ML NCL
3.1.10 NCL .NCL
3.2 一些
畎畃界 于一些
畎畃界畂
圳圮圳
坻 圴地 坻
圳圮圲 一些
3.2.1
圳圮圲圮圱
3.2.1 畎畃界 .
畎畃界
T圁在畎畃界畔 畎畃界 圫 圁T
圁圴 圁圁在圁畎畃界圴 圽 畎畃界 圫 圁圴
圁圵 圁在畎畃界圵 圽 畎畃界 圫 圁圵
B圁在在圁圁在畞 町畎畃界畂 畎畃界 圫 圁B
w圁圴 圁圁圁畎畃界畓圴 圽 畎畃界 圫 圁Tw圁圴
w圁圵 畎畃界畓圵 圽 畎畃界 圫 圁Tw圁圵
wB圁在圁圁在畞 町畎畃界畔畂 畎畃界 圫 圁TwB
畎畃界圴圵 圽 畎畃界 圫 圁圴 圫 圁圵 圴圵在圴圵圩
圳圮圲圮圱 过运
TBTT2ϕ甡 町ϕ
ψ2ϕ甡 町ϕ圩 在圳圮圱圩
甬 町ψ2ϕ甡 町ϕ在圳圮圲圩
甬 町ψϕ圁在ψ甡 町ϕ甡 町ϕ在圳圮圳圩
ϕ圁在ϕψϕψ在圳圮圴圩
以不2ϕ甡 町ϕψ2ϕ甡 町ϕ
ψψ件下2
在圳圮圲圩 在圳圮圳圩 过运
TAUT,Equ RE在圳圮圴圩T
BB
Bϕ22ϕ一些
坻 圴圱 坻
χϕ22ϕ圩 在圳圮圵圩
甬 町χϕ2ϕ圁在χ甡 町2ϕ圩圩 在圳圮圶圩
!χϕ在圁ϕ圁在ψ甡 町ϕ畞 町ψ
圁在χ甡 町在圁ϕ圁在ψ甡 町ϕ畞 町ψ圩圩圩 在圳圮圷圩
甬 町χϕ圁在圁ϕ圁在ϕψ畞 町ψ
圁在在圁ϕ圁在ϕψ畞 町ψχ圩圩 在圳圮圸圩
在圳圮圵圩 在圳圮圶圩 圱圮圳圮圲 在圳圮圶圩 在圳圮圷圩
圱圮圳圮圱 在圳圮圷圩 在圳圮圸圩 TAUT,Equ
RE,MP
在圳圮圸圩 在圳圮圸圩
χ一个
ϕ圁在圁ϕ圁在ϕψ畞 町ψ圁在在圁ϕ圁在ϕψ畞 町ψχ
使
ϕ圁在在圁ϕ圁在ϕψ畞 町ψχ,
B
GEN畎畃界,畎畃界圴圵,畎畃界畓,畎畃界畂,畎畃界畔畂
分别GEN
圳圮圳圮圱GEN
畎畃界 GEN
分别
GEN全公
使2ϕdef
圽 圁ϕϕ
们也不NCL
坻 圴圲 坻
圳圮圲 一些
T们也ϕϕϕ使
ML NCL 们也不
圁圴,圁圵 ψw圁圴 w圁圵 分别畎畃界
畎畃界BχwB畎畃界畂
畎畃界畓,畎畃界畓,畎畃界畔畂 分别畎畃界,畎畃界,畎畃界畂
圁圴圬 圁圵 B分别w圁圴圬 w圁圵 wB圳圮圲圮圴圭圳圮圲圮圶
畎畃界圴圵 了一坡 坬坯坧坩坣 坯坦 坯坰坩坮坩坯坮坡坴坥坤坮坥坳坳
ϕϕϕ
ϕ
坅坧坲圓 在圲地地圸圩 坢坥坬坩坥坶坥
坷坨坥坴坨坥坲坢坥坬坩坥坶坥 坴坨坡坴
坮坥坧圭坲坡坩坳坩坮坧
坢坥坨坡坶坩坯坲ϕϕ3ϕ也不
畎畃界畓了一坫坮坯坷坩坮坧 坷坨坥坴坨坥坲
ϕϕϕϕ
为了圳圮圲圮圱
3.2.2.
T-
圁圴 -
圁圵 -
B-
.
s甲 畍使, s ϕ圁在ϕψϕ
, s ψt1, t2甲 畍 使sRt1, sRt2t1ψ, t2ψ
sRssϕt1ϕt2ϕt1ϕψ
t2ϕψs圁在ϕψsRt1, sRt2
s甲 畍使, s ϕ, s 圁在圁ϕψ
t1, t2 使sRt1, sRt2t1ϕψt2ϕ
3Zuber (1982) ´
Egr´e (2008) 讨论
坻 圴圳 坻
ψt2ϕu1, u2使t2Ru1, t2Ru2u1ϕ, u2ϕ
sRt2, t2Ru1, t2Ru2RsRu1, sRu2, s ϕ
u1ϕ, u2ϕ
s甲 畍使, s ϕ, s 圁在ϕ
ψt1, t2使sRt1, sRt2t1ϕt2ϕ
u1, u2使sRu1, sRu2u1ϕψu2ϕψsRu2, sRt1, sRt2
Ru2Rt1, u2Rt2u2ϕt1ϕ, t2ϕ
s甲 畍使, s ϕ, s 圁在在圁ϕ圁在ϕ
ψ畞 町ψχt1, t2使sRt1, sRt2t1ϕ圁在ϕ
ψ畞 町ψχt2ϕ圁在ϕψ畞 町ψ畞 町χt2ψ
u1, u2使t2Ru1, t2Ru2u1ψu2ψsRt2R
t2Rst2ϕt2Ru1, t2Ru2sϕu1ϕu2ϕ
u1ϕψu2ϕψt2圁在ϕψt2Ru1, t2Ru2
圁圴,圁圵 B分别畎畃界畓,畎畃界畓,畎畃界畔畂
3.2.3.
1. 畎畃界畓4ϕ圁在圁ϕψ
2. 畎畃界畓5ϕ圁在ϕψ
3. 畎畃界畔畂 ϕ圁在在圁ϕ圁在ϕψ畞 町ψχ
.畎畃界畓一个
i圩 圁ϕ在圁ϕψTAUT
ii圩 圁在圁ϕ在圁ϕψ圩圩 GEN,i
iii圩 圁圁ϕ圁在圁ϕ在圁ϕψ圩圩 ϕ圁在圁ϕψ圩 圁T
iv圩 圁圁ϕϕ圁在圁ϕψ圩 在ii,iii
v圩 圁ϕ圁圁ϕw圁圴
vi圩 圁ϕ圁在圁ϕψ圩 在iv,v
w圁圵
坻 圴圴 坻
圳圮圲 一些
畎畃界畔畂 一个
在圁圁在畞 町在圁圁在畞 町TAUT
畩畩圩 圁在在圁圁在畞 町在圁圁在畞 町圩圩 GEN
畩畩畩圩 圁在在圁圁在畞 町在圁圁在畞 町圩圩
在圁圁在畞 町畞 町在圁圁在畞 町
圁在圁圁在畞 町圩 圁T
畩當圩 圁在圁圁在畞 町畞 町在圁圁在畞 町
圁在圁圁在畞 町圩 在畩畩圩在畩畩畩
在圁圁在畞 町wBEqu
當畩甡 町在圁圁在畞 町圩 圁TTAUT
當畩畩圁在圁圁在畞 町圩 在畩當當畩
T圁圴,圁圵,B畎畃界 w圁圴圬
畎畃界 w圁圵圬 畎畃界 wBT
话说T畎畃界 w圁圴,畎畃界
w圁圵,畎畃界 wB分别
NCL T
畎畃界,畎畃界,畎畃界畂畎畃界 w圁圴圬 畎畃界 w圁圵圬 畎畃界 wB
架来圳圮圲圮圴 和命
圳圮圲圮圵 分别均坥坯坲坧坥 坓坣坨坵坭坭 在坋坵坨坮圬 圱圹圹圵圩 评论4坚坯坬坩坮 在圱圹圹圹圩
架来两个圳圮圲圮圶
3.2.4 畎畃界 w圁圴 .畎畃界 w圁圴
.p圁在圁pq圁圴 一个圳圮圲圮圲p
圁在圁pq畎畃界 w圁圴
一个使畎畃界 w圁圴
4Steven Kuhn 件中 I believe that Zolin meant to refer to the abstract in
Mathematical Review written by George Schumm about my paper on the minimal non-contingency logic
that was published in NDJFL in 1995. Schumm provides a frame to show that Humberstone’s conjecture
about the axiomatization of the logic of noncontingency on transitive frames is false. My paper gives a
correct axiomatization.
坻 圴圵 坻
畎畃界 w圁圴 p圁在圁pq
畎畃界+w∆4 p圁在圁pq
畎畃界 w圁圴 中不
中不Pp, q
u1p, q t1p, q
up, q
gg
ww
tp, q
88
&&
u2p, q s p, q
99ff
t2p, q
圳圮圱圮圲畎畃界
上也
接推上也
MP,GEN,RE
中一个
w圁圴 上也ϕ
ϕNCLt1ϕ坩國 u1ϕt2ϕ坩國 u2ϕ
t1, t2, u1, u2圁圁ϕϕ圁圁ϕ
w圁圴ϕNCLt1, t2ϕt圁圁ϕt
ϕ圁圁ϕϕNCLuϕ圁圁ϕ
tϕ坩國 uϕs圁圁ϕsϕ圁圁ϕ
ϕ圁圁ϕ畎畃界 w圁圴
, s p圁在圁pqp圁在圁pq
畎畃界+w∆4 p圁在圁pq
3.2.5 畎畃界 w圁圵 .畎畃界 w圁圵
.圳圮圲圮圴 p圁在pq圁圵 一个
圳圮圲圮圲p圁在pq
畎畃界 w圁圵 一个使
坻 圴圶 坻
圳圮圲 一些
畎畃界 w圁圵 畎畃界 w圁圵
p圁在pq
Pp, q
tp, q
sp, q
88
''
up, q
圳圮圲圮圴 畎畃界
w圁圵 tu
ϕϕϕw圁圵tϕ
uϕsϕsϕϕ
畎畃界 w圁圵
, s p圁在pqp圁在pq
3.2.6 畎畃界 wB.畎畃界 wB
.p圁在圁p圁在pq畞 町qrB一个
圳圮圲圮圲
畎畃界 wB一个0使畎畃界 wB0
畎畃界 wB00p圁在圁p圁在p
q畞 町qr圩圮
坻 圴圷 坻
0Pp, q, r
tp, q, r //
!!
t0p, q, r
sp, q, r
77
''
up, q, r
==
//u0p, q, r
圳圮圲圮圴 0畎畃界
0prq0圁在prq
wB0上也 圁在圁ϕ圁在ϕψ畞 町ψ0
为了 t0u0于任 ϕ
t0ϕu0ϕ圁在圁ϕ圁在ϕψ畞 町ψ
t t0u0t圁在圁ϕ圁在ϕψ畞 町ψ圩 坩國
t0ϕ圁在ϕψ畞 町ψ坩國 u0ϕ圁在ϕψ畞 町ψ圩圬
u圁在圁ϕ圁在ϕψ畞町ψϕtϕ坩國 uϕ
价于 t0ϕ坩國 u0ϕs圁在圁ϕ圁在ϕψ畞 町ψ
畎畃界 wB0
0up圁在pq畞 町qrt
p圁在pq畞 町qrs圁在圁p圁在pq畞 町qr
spsp圁在圁p圁在pq畞 町qr
3.2.2
一个
3.2.7 .S, R, V uSu
uSRvS使uRv
圳圮圱圮圹畎畃界 令人
Rc圳圮圱圮圶 Rcc
坻 圴圸 坻
圳圮圲 一些
ϕu
c为一个
中不在坈坵坭坢坥坲坳坴坯坮坥圬 圱圹圹圵圻 坚坯坬坩坮圬 圱圹圹圹圩
3.2.8 畎畃界 .畎畃界 -
.圳圮圱圮圶 c为了c为一个
使cu
uRcRD形式
RDRc畛 畦u, uucDSc, RD, V cRD
ScVcD
ϕNCLc, s ϕ坩國 D, s ϕϕ
ϕsc坩國
scϕc, s ϕD, s ϕ
坩國
圳圮圱圮圸畎畃界
畎畃界畎畃界沿圳圮圱圮圶 c
Sc
3.2.9 畎畃界.畎畃界-
.圳圮圱圮圶 cSc有极畎畃界圴圭
圳圮圱圮圸Rc
s, t, u ScsRcttRcusRcusRctχ使
χs圩 场 ϕϕ圁在χϕsϕttRcuψ
使ψt圩 场 ϕϕ圁在ψϕtϕu为了
sRcuχs圩 场 ϕϕ圁在χϕs
ϕuϕϕ圁在χϕsϕ圁在ψϕt
ϕu
ϕtϕsw圁圴圁圁ϕs圁圴
圁在圁ϕ畟 町χs圁在χϕsϕt
坻 圴圹 坻
圁在ψϕtχsEquχs
圁在χϕs圁在ϕ甡 町χsCon圁在ϕ
χsϕsDis圁在ϕ甡 町ψs圁在ψϕ
sw圁圴圁圁在ψϕs圁圴圁在圁在ψϕ畟 町χs
圁在χ圁在ψϕ圩圩 s圁在ψϕt
3.2.10 畎畃界.畎畃界-
.圳圮圱圮圶 cSc有极畎畃界圵圭
圳圮圱圮圸Rc
s, t, u ScsRctsRcutRcusRctχ使
χs圩 场 ϕϕ圁在χϕsϕtsRcu
ψ使ψs圩 场 ϕϕ圁在ψϕsϕu为了
tRcuθ使
圱圮 θt
圲圮 ϕϕ圁在θϕtϕu
χθ
χsχsw圁圵χs
圁圵圁在χ畟 町χs圁在χ甡 町χsχt
ϕϕ圁在χϕtϕu
ϕtϕ /tϕ圁在χ甡 町ϕ/sw圁圵
圁圵ϕ /sϕs圁在χϕt
圁在χϕsχsχ /s圁在χϕs
圁在ϕ甡 町χsCon圁在ϕ甡 町χ/s
ϕsDis圁在ϕ甡 町ψs圁在ψϕs
ϕ圁在ψϕsϕu
3.2.11 畎畃界圴圵 圱圩.畎畃界圴圵 圴圵-
.圳圮圲圮圹 圳圮圲圮圱地 畎畃界圴圵
坻 圵地 坻
圳圮圲 一些
畎畃界圴圵 畋畄圴圵圭
畎畃界圴圵 c
Rc不一圳圮圲圮圸
c为一个
中不变化
3.2.12 畎畃界圴圵 圲圩.畎畃界圴圵 畋畄圴圵-
.圳圮圲圮圸 畎畃界圴圵 DSc有极
畎畃界圴圵圭圳圮圲圮圸 RDϕNCL
c, s ϕ坩國 D, s ϕRD
s, t, u ScsRDttRDusRDu
sttusRcttRcu圳圮圲圮圹 sRcu
sRDusttusRDusRDu
RD
s, t, u ScsRDtsRDutRDu
stsusRctsRcu圳圮圲圮圱地 tRcu
tRDusttRDustsu
sRct下一sRcuRDsc
sRctsRctsRcutRDu
下也tRDuRD
畎畃界畔 们不使圳圮圱圮圶 Rc
c一个使使
反化圳圮圲圮圸 c
们不们也不为了
使反化为了便使
即取 Rc
3.2.13 畎畃界畔 .畎畃界畔 TSc, RT, V c
3.1.6 cSc有极畎畃界畔-RTRc
坻 圵圱 坻
sRTt且仅stψ使ψs且任ϕ
ϕ圁在ψϕsϕt
畎畃界畔
3.2.14 畎畃界畔 .sScϕNCL
T, s ϕϕs.
.ϕϕ圽 圁ψT, s ϕ
ϕs
圳圮圱圮圸 的相RcRT
圽场ψsψsT, s ϕ
t1, t2Sc使sRTt1, sRTt2ψt1,ψt2RT
下两st1st2t1t2
st1st2sRct1, sRct2圳圮圱圮圸
st1st2st1ψsst2
st2sRTt2sRct2χ使χs?圩 场 ϕ
ϕ圁在χϕsϕt2ψsψ /t2
圁在χψ/s圁在ψ甡 町χ/sTψψ畞町χs
圁在ψχ/sDisψ /s
T, s ϕ
于上
3.2.15 畎畃界畔 .畎畃界畔 -
3.2.16 畎畃界畓.畎畃界畓-
.圳圮圲圮圱圳 畎畃界畓TSc
畎畃界畓圴圭圳圮圲圮圱圵RT
s, t, u ScsRTttRTusRTu
sttusRcttRcuRc圳圮圱圮圶
坻 圵圲 坻
圳圮圳 畎畃界畂
圳圮圲圮圳圁圴圳圮圲圮圹 sRcu
sRTusttusRTu
sRTu
3.2.17 畎畃界畓.畎畃界畓-
.圳圮圲圮圱圳 畎畃界畓TSc
畎畃界畓圵圭圳圮圲圮圱圵RT
s, t, u ScsRTtsRTutRTu
stsusRctsRcuRc圳圮圱圮圶
圳圮圲圮圳圁圵圳圮圲圮圱地 tRcu
tRTusttRTustsu
sRct圳圮圲圮圱地 的相χ使χs
χtϕϕ圁在χϕtϕ圁在χϕs
ϕ圁在ϕ甡 町χ畞 町χsTϕ /sϕs
ϕutRTu
tRTu
3.3 畎畃界畂
畎畃界畂 圳圮圲圮圱
为一
畎畃界 圳圮圲圮圱
GEN畎畃界畂 GEN畎畃界畂
畎畃界畂 GEN
3.3.1. GEN畎畃界畂 GEN5
.ϕB圁在在圁ϕ圁在ϕψ畞 町ψ甡 甾
TAUT RETAUTϕ甤 甾RE
ϕϕ
5`ϕϕ畎畃界畂 GEN
坻 圵圳 坻
畎畃界畂 为了便一个
3.3.2 .S, R, V 一个s一个
sR话说tS使
tRs,uS使sRu
畎畃界畂 Sc, Rc, V cSc有极畎畃界畂
RcVc圳圮圱圮圶Rc
以从圳圮圳圮圳
cχRc
3.3.3. s, t ScsRctχ使χttRcs
.sRctχttRcsϕ使ϕ圁在χ
ϕtϕ /sϕssRctψ使ψs?圩场
θθ圁在ψθsθtϕsBwB
圁在圁ϕ圁在ϕ甡 町χ畞町χ甡 町ψs圁在圁ϕ圁在ϕ甡 町χχ
sEqu RE圁在圁ϕ圁在χϕ畞 町χ圁在圁ϕ圁在χ
ϕ畞 町χ甡 町ψs在圁ϕ圁在χϕ畞 町χ圁在ψ
在圁ϕ圁在χϕ畞 町χ圩圩 s?在圁ϕ圁在χϕ畞 町χt
一个
s
s
t//u t //
OO
u
csRcttRcutRcu
RctχsRct和命圳圮圳圮圳tRcs
tRcu们不uRct一个
一个c为一个
中不一个
坻 圵圴 坻
圳圮圳 畎畃界畂
圳圮圲圮圱圳 们也使
Rc
s
u
s
u
t t
??
^^
csRctuRcttRcstRcu
使tRcstRcu
00
ct
ϕNCLtϕ0t两个不s, u
两个一个使ψ一个使ψNCL
ψ使tψϕ
圳圮圳圮圲cRc些世
tc
为了t下两个
t一个 Rcs仅仅
RcNCLst两个世
s
s
t t
OO
t两个susRctuRct
仅仅会使t
t两个不ψ
坣坯坰坩坥坳
且仅一个继续使一个
坻 圵圵 坻
s
u
s
u
s
u
ts, t圩 在u, t圩 在s, t
OO
u, t
OO
畎畃界畂
DtScχχt, sSc使sRctSc有极
畎畃界畂Rc圳圮圱圮圶DScD
3.3.4 畎畃界畂 .+S+, R+, f, V +畎畃界畂
S+D畛 畦s, ttD, sRct
sR+t且仅
1. s, t DsRct,
2. sDt圽 在s, s0S+,
3. tDs圽 在t, t0S+.
fS+Sc使sD,fs圩 圽 s;s圽 在t, uS+,
fs圩 圽 u.
V+p圩 圽 sS+pfs.
f+一个
+一个f
3.3.5.
1. f
2. sDsR+t,fsRcft.
3. fsRct,uS+使sR+ufu圩 圽 t.
.tScuS+使fu圩 圽 ttSc
tDtS+fft圩 圽 t
t /DtDDsSc使sRctS+
s, tS+ff在在s, t圩圩 圽 t
坻 圵圶 坻
圳圮圳 畎畃界畂
任一uS+使fu圩 圽 t
sDfs圩 圽 ssR+ttD
t /DtDfR+ft圩 圽 tsRctfsRcft
t /DR+t圽 在s, s0S+sRcs0ft圩 圽 s0
fsRcft
fsRctDfs/DfsSc
fsDfs圩 圽 sffs圩 圽 t0s圽 在t, t0S+
t0Dt0DsRctsDtDtS+
R+sR+tfft圩 圽 tt /DtDS+
s, tS+R+sR+s, tff在在s, t圩圩 圽 t
sDs圽 在t, t0S+
tDsR+tffs圩 圽 t0ft圩 圽 tt0DD
t0Rct0RctfsRcft
3.3.6. +
.s, t S+sR+ttR+sR+下三
s, t DsRctt /DDχ使χt
sRct和命圳圮圳圮圳tRcstR+s
sDt圽 在s, s0S+R+三个tR+s
tDs圽 在t, t0S+R+二个tR+s
+f
3.3.7. sS+ϕNCL
+, s ϕ甩 畍c, f sϕ.6
6们也(M+, s)(Mc, f (s))2.2.7C
C.0.11
坻 圵圷 坻
.ϕ
ϕpPV+VcsS++, s ppfs
甩 畍c, f sp
ϕ圽 圁ψ+, s ψ甩 畍c, fsψ
+, s ψt, u 使sR+t, sR+u+, t ψ
+, u ψsDR+s圽 在t, t0S+
s圽 在u, u0S+tusDsR+t, sR+u
圳圮圳圮圵 fsRcftfsRcfuc, ftψ
c, f uψc, fsψ
圽场 c, f sψt0, u0Sc使fsRct0, f sRcu0
c, t0ψc, u0ψ圳圮圳圮圵 t, u S+使
ft圩 圽 t0, f u圩 圽 u0sR+t, sR+u+, t ψ+, u
ψ+, s ψ
圳圮圱圮圸 和命圳圮圳圮圷
3.3.8. ϕNCL sS++, s ϕϕfs
圳圮圳圮圵 sSc+f此每
畎畃界畂+圳圮圳圮圶畎畃界畂
3.3.9 畎畃界畂 .畎畃界畂 -
五个NCL 圲圮圱圮圲
圳圮圲圮圱 些一
分别些一
3.3.10 .ϕNCL αFOLϕα
,ϕiff α.
坻 圵圸 坻
圳圮圳 畎畃界畂
为了便xyzxRy xRz yzαx圩圩
x圩圮
坚坯坬坩坮 在圱圹圹圹圬 坔坨坥坯坲坥坭 圵圮圱圩 了下
3.3.11. T,圁圴,w圁圴,圁圵 分别下一
ϕ4
T
x xRx
ϕ4
4
x
yxRy 甡 甸zyRz xRz圩圩
ϕ4
4b
x
yxRy RyRx圩圩 畟 甸yzxRy xRz RyRx圩 圽
RzRx圩圩 RxRy画 甬 RxRz圩圩圩
ϕ4
5
xyzxRy xRz yRz
w圁圵
BwB中一两个
B们之
wBw圁圵
3.3.12. B于一
x
yxRy yRx.
.S, R
ϕ圁在圁ϕ圁在ϕψ畞 町ψχ圩 坩國
x
yxRy yRx.
x
yxRy yRx圩圬 B
VsS使畨畆, V , s ϕs圁在圁ϕ圁在ϕ
ψψχs1, s2使sRs1, sRs2s1ϕ圁在ϕψψχ
s2ϕ圁在ϕψ畞 町ψ畞 町χs2ψt1, t2使
s2Rt1, s2Rt2t1ψ, t2ψs1s2t1t2ss2
分别两个不sRs2s2Rssϕs2ϕ
s2Rt2t2ϕt1ϕψt2ϕψs2圁在ϕψ
s2Rt1, s2Rt2
x
yxRy yRxs, t 使s1, s2
sRs1, sRs2s1s2t1, t2tRt1, tRt2t1t2sRttRs
坻 圵圹 坻
ts1ts2VVp圩 圽 s
Vq圩 圽 t1Vr圩 圽 s2
t1q
t
44
**
畨畆, V sp
55
++
//s1t2
s2r
畨畆, V , s BVp圩 圽 stRssp
且任t0使tRt0t0pt0pqtp圁在pq圩圻
Vq圩 圽 t1t1t2t1q, t2qtqVr圩 圽 s2
ts2trs2rtp圁在pq畞 町qr
s2p圁在pq畞 町qrs圁在圁p圁在pq畞 町qr
sp圁在圁p圁在pq畞 町qr圩圬 sB
ts1ts2
t1q
t在圽 s1
77
&&
畨畆, V sp
44
**
t2
s2r
sB
ts2ts1VVp圩 圽 s
Vq圩 圽 t1Vr圩 圽 s1
t1q
t在圽 s2
77
&&
畨畆, V sp
44
**
t2
s1r
坻 圶地 坻
圳圮圳 畎畃界畂
sB
sB
坻 圶圱 坻
坻 圶圲 坻
义之
NCL 畎畃界畂 广态情
畎畃界畂
圳圮圲圮圱 畎畃界畂 广态情
4.1
4.1.1 CMLm,NCLm,MLm.P
Ag 一个1CMLm义为
ϕ场场圽 甾 番 p番 町ϕϕϕiϕ2iϕ
pP, i Ag2iϕ
NCLmiϕ
MLmϕ一个 NCLm-ϕNCLmϕ一个 MLm-
ϕMLm
中于NCLmiiAg一一
1Ag 于下畎畃界畂m明是尾将
坻 圶圳 坻
Ag 个主些主
22iϕ于主iϕ
iϕiϕ
iϕ畋畄圴圵2iϕ
iϕ分别iϕiϕ
2iϕiϕ分别iϕ
iϕ话说iϕiϕ们不
圬 在ϕψ圩圬 在ϕψ圩圬 在ϕψ圩圬 iϕ
义为 町甾ϕ畞 町ψ圩圬 在ϕψ圩圬 在在ϕψψϕ圩圩圬 iϕ
iϕ于主iϕiiϕ
从下iiϕ甤 畲iϕi
上也i
4.1.2 .一个一个三S, RiiAg, V S
RiS元关V
pPVpSsS, s
为一个一个一个S, RiiAg畧畩
RiiAg
话说于任iAgs, t SsRittRis
4.1.3 .S, RiiAg, V CML
, s
, s psVp
, s ϕ甬 畍, s ϕ
, s ϕψ甬 畍, s ϕ, s ψ
, s iϕt1, t2sRit1, sRit2
, t1ϕ甬 畍, t2ϕ
, s 2iϕtsRit, t ϕ
-1.1.3
2··A.0.5
他们·
坻 圶圴 坻
圴圮圲
iϕs上为且仅is
ϕ
义中 i
, s iϕtsRit, t ϕ
tsRit, t ϕ
iϕiϕiϕ2iϕ2iϕ
也不
iϕψ在圁iϕiψ
4.2
AD 广
圱圮圳圮圲
4.2.1. ϕ, χ NCLm, i Agiχ2iϕiϕiχϕ圩圩
., s, s iχ, s 2iϕiϕiχ
ϕ
, s 2iϕt使sRit, t ϕ
tχϕ, s iϕ, s iχϕ, s
iϕiχϕ
, s iϕiχϕt1, t2使
sRit1, sRit2t1χt2χt2χϕsRit1, sRit2
siχϕt1χϕt1ϕt使sRit
, s iϕt1ϕsRit1, t ϕ, s 2iϕ
圴圮圲圮圱 广态情
TBRc
畎畃界畂 接推广态情
畎畃界畂 畎畃界畂
畎畃界畂m为了便畎畃界畂m被表
坻 圶圵 坻
4.2.2 畎畃界畂m.畎畃界畂m
3
TAUT
Con iχϕiχϕiϕ
Dis iϕiϕψiϕχ
Equ iϕiϕ
Bϕi在在圁iϕiϕψ畞 町iψχ
MP ϕ, ϕ ψ
ψ
REϕψ
iϕiψ
畎畃界畂mBGENGENϕ
iϕ
畎畃界m
4.3 畎畃界畂m
畎畃界畂m
义一个圳圮圱圮圶
4.3.1. cSc,Rc
iiAg, V c
Scss畎畃界畂m-
s, t SciAgsRc
it且仅ψ使
iψs
ϕiϕiψϕsϕt
Vcp圩 圽 sScps.
圳圮圱圮圸态情圴圮圳圮圱
4.3.2. ϕNCLms甲 畍c
c, s ϕϕs.
3了之
坻 圶圶 坻
圴圮圳 畎畃界畂
畎畃界畂m圴圮圳圮圱 c
Rc
i
圴圮圳圮圱 Rc
i
4.3.3. s, t SciAgsRc
itt0Sc使tRc
it0
tRc
is4
.sRc
itt0Sc使tRc
it0χiχttRc
is
ϕ使iϕiχϕtϕ /sϕs
sRc
itψ使iψs?圩场 θiθiψθs
θtϕsBwBi在圁iϕiϕ
χ畞 町iχ甡 町ψsi在圁iϕiϕ甡 町χ畞 町iχs
Equ REi在圁iϕiχϕ畞町iχi在圁iϕiχϕ畞町iχ
ψsi在圁iϕiχϕiχiψ甡 町在圁iϕiχ
ϕ畞 町iχ圩圩 s?在圁iϕiχϕ畞 町iχt
圳圮圳圮圲于主iiAg
Ri些世
一个主
于主
i不一于主j
tR2sR2
t于主t于主
tR1u
s
1,2
t1//u
畎畃界畂 态情广
4价于3.3.3 Rc
i3.1.8
=CC.0.12
坻 圶圷 坻
c一个
畎畃界畂 圳圮圳 里采
思想继续使
NCLm
于主Ag Ag
,,,甁 甁 甁 , m0cc圴圮圳圮圳m
mi过运
ii
i使
一个i
个主i
个主
mNCLm
畎畃界畂m
nSn,Rn
iiAg, V nn0cn
Rn
inini
们一n坛地, mi坛圱, m
DnttSn1,sSn1使sRn1
nt, 且不t0Sn1使tRn1
nt05
n1于主nDnSn1Dn为了
便iϕn, s
n, s iϕt1, t2Sn,sRn
it1, sRn
it2,t1ϕ且仅t2ϕ.
iϕnns中为且仅n
isϕ
54.3.4 D0D0R1
0n[0, m]
4.3.4 M0n[0, m]n[1, m]
坻 圶圸 坻
圴圮圳 畎畃界畂
畎畃界畂m义之议读
一个
4.3.4 畎畃界畂m.畎畃界畂mmSm,Rm
ii
Ag, fm, V mnm
甏 畍0cS0Sc, R0
iRc
i, V 0p圩 圽 sScps.
n >
SnDn畛 畦s, ttDn, sRn1
nt.
sRn
nt且仅之一
1. s, t DnsRn1
nt,
2. sDnt圽 在s, s0Sn,
3. tDns圽 在t, t0Sn.
insRn
it且仅之一
1. s, t DnsRn1
it,
2. sDnt圽 在s00, s0SnsRn1
is0,
3. tDns圽 在t00, t0Snt0Rn1
it,
4. s圽 在w, vSnt圽 在w0, v0SnvRn1
iv0.
fnSnSn1使fns圩 圽 ssDnfn在在s, t圩圩 圽 t
s, tSn
Vnp圩 圽 sSnfnsVn1p.
一个的目c
c0
cc圴圮圳圮圱01S0
R0
10于主D1
D1DnDn
S1
S1, R0
1, D1R1
1S1, R0
i
他主D1R1
i他主
S0, S1D1f1f1V0V1
10来构1以从 1
223m1
坻 圶圹 坻
m
Rn
iRn
iin
innn他主
不一n于主n
Rn
n圳圮圳圮圴上一
n1于主n分别
本有一个Rn
n
Rn
n他主他们
义中
nRi
nRi
为了圴圮圳圮圴一个
xx
##
畴 畵
oo畓畴略異 由
畳画 畴
88
畳画 畵
oo
cc
畳画 畳画 畴圩圩 //
oo
yy
畓畴略異 甲
在在畳画 畵畳画 畴圩圩
99
//畳画 畵
oo
OO
0在圽 c,1,2
0为一2坓坴坥坰 圱
于主0于主tu
sR0
1t, sR0
1u0tu分别1s, t,s, u使
本有且仅于主于主
R1
1R1
1他主
坻 圷地 坻
圴圮圳 畎畃界畂
坓坴坥坰 圲R1
1
R2
1
2
fn+1 一些
4.3.5 .n坛地, m 圱坝fn+1
.n坛地, m 圱坝tSnuSn+1 使fn+1u圩 圽 t
tDn+1fn+1t圩 圽 ttSn+1tDn+1
Dn+1 sSn使sRn
n+1ts, tSn+1
fn+1在在s, t圩圩 圽 t
uSn+1 使fn+1u圩 圽 t
4.3.6 .n坛地, m 圱坝s, t Sn+1 fn+1sRn
ifn+1t
1. in圫 圱sRn+1
it
2. in圫 圱t0Sn+1 使sRn+1
it0fn+1t0圩 圽 fn+1 t
.n坛地, m 圱坝fn+1sRn
ifn+1t
in圫 圱
s, t Dn+1fn+1s圩 圽 sfn+1t圩 圽 tsRn
it
sRn+1
it
sDn+1 t /Dn+1t圽 在s00, s0Sn+1fn+1
fn+1s圩 圽 sfn+1 t圩 圽 fn+1在在s00, s0圩圩 圽 s0sRn
is0
sRn+1
it
s /Dn+1 tDn+1s圽 在t00, t0Sn+1fn+1
fn+1s圩 圽 fn+1 在在t00, t0圩圩 圽 t0fn+1 t圩 圽 tt0Rn
itsRn+1
it
s, t /Dn+1s圽 在w, vSn+1 t圽 在w0, v0Sn+1fn+1
fn+1s圩 圽 fn+1 在在w, v圩圩 圽 vfn+1 t圩 圽 fn+1在在w0, v0圩圩 圽 v0
vRn
iv0sRn+1
it
坻 圷圱 坻
in圫 圱
sDn+1
t /Dn+1fn+1t圩 圽 uuSn
uDn+1Rn+1
n+1 sRn+1
iufn+1 fn+1u圩 圽
ufn+1tSn+1 uSn+1
uDn+1fn+1s圩 圽 ssRn
ius, u
Sn+1Rn+1
n+1 sRn+1
is, ufn+1 fn+1在在s, u圩圩 圽
ufn+1t
t0Sn+1 使sRn+1
it0fn+1t0圩 圽 fn+1 t
sRn+1
it
0甀 畍2f2s圩 圽 sf2在在在s, u,s, t圩圩圩 圽 在s, t
sR1
2s, tf2sR1
2f2在在在s, u,s, t圩圩圩sR2
2在在s, u,s, t圩圩
t0Sn+1 使sRn+1
it0
fn+1t0圩 圽 fn+1 t
4.3.7 坮坯 坭坩坲坡坣坬坥.n坛地, m 圱坝s, t Sn+1
1. in圫 圱sRn+1
itfn+1sRn
ifn+1t
2. in圫 圱 sDn+1sRn+1
itfn+1sRn
ifn+1t
.n坛地, m 圱坝in圫 圱 sRn+1
it
s, t Dn+1 sRn
itfn+1 fn+1s圩 圽 sfn+1 t圩 圽 t
fn+1sRn
ifn+1t
sDn+1, t 圽 在s00 , s0Sn+1 sRn
is0fn+1 fn+1s圩 圽 s
fn+1t圩 圽 s0fn+1 sRn
ifn+1t
tDn+1, s 圽 在t00, t0Sn+1 t0Rn
itfn+1 fn+1s圩 圽 t0
fn+1t圩 圽 tfn+1 sRn
ifn+1t
s圽 在w, vSn+1 t圽 在w0, v0Sn+1 vRn
iv0fn+1
fn+1s圩 圽 vfn+1 t圩 圽 v0fn+1sRn
ifn+1t
fn+1sRn
ifn+1t
坻 圷圲 坻
圴圮圳 畎畃界畂
in圫 圱 sDn+1 sRn+1
itfn+1s圩 圽 s
下两
tDn+1 sRn
itfn+1 fn+1t圩 圽 tfn+1sRn
ifn+1t
t圽 在s, s0Sn+1sRn
is0fn+1 fn+1t圩 圽 s0
fn+1sRn
ifn+1t
fn+1sRn
ifn+1t
圴圮圳圮圷圮圲 sDn+1
0甀 畍2s, s, t圩圩 /D2s, s, t圩圩R2
2s
s, tR1
2sf2在在s, s, t圩圩圩R1
2f2s
Rn
i
4.3.8. n坛地, m, i 坛圱, ms, t Sn, sRn
itt0Sn使
tRn
it0tRn
is
.n圴圮圳圮圳 nk
nk圫 圱s, t Sk+1, sRk+1
itt0Sk+1 使tRk+1
it0
tRk+1
is
ik圫 圱下三
s, t Dk+1圴圮圳圮圷圮圲fk+1sRk
ifk+1tRk
ifk+1t0
fk+1tRk
ifk+1stRk
istRk+1
is
sDk+1 t圽 在s, s0Sk+1Rk+1
k+1 tRk+1
is
tDk+1 s圽 在t, t0Sk+1Rk+1
k+1 tRk+1
is
ik圫 圱圴圮圳圮圷圮圱fk+1sRk
ifk+1tRk
ifk+1t0
fk+1tRk
ifk+1s圴圮圳圮圶圮圱tRk+1
is
了上mm
Rm
i
4.3.9. mi坛圱, mRm
i
n坛圱, mnRn
4.3.10. n坛圱, mRn
n
坻 圷圳 坻
.n坛圱, ms, t SnsRn
nttRn
ns
Rn
n
s, t DnsRn1
nttSn1tDnt /DnDn
t0Sn1使tRn1
nt0圴圮圳圮圸tRn1
nsRn
n
tRn
ns
sDnt圽 在s, s0SnRn
ntRn
ns
tDns圽 在t, t0SnRn
ntRn
ns
4.3.11. n坛地, m 圱坝Rn
iRn+1
i
.n坛地, m 圱坝Rn
is, t Sn+1 使sRn+1
it
tRn+1
isin圫 圱圴圮圳圮圱地tRn+1
isin圫 圱
圴圮圳圮圷圮圱fn+1sRn
ifn+1tfn+1tRn
ifn+1s
圴圮圳圮圶圮圱tRn+1
is
圴圮圳圮圹 NCLm
4.3.12. n坛地, m 圱坝sSn+1 ϕNCLm
n+1, s ϕ甩 畍n, fn+1sϕ.
.sSn+1ϕϕpPϕ圽 圁iψ
ϕpPVnn+1, s psVn+1pfn+1s
Vnp甩 畍n, f n+1sp
ϕ圽 圁iψn+1, s iψ甩 畍n, f n+1siψ
n+1 , s iψn, f n+1siψ
t1, t2Sn+1 使sRn+1
it1, sRn+1
it2t1ψt2ψin圫 圱
sDn+1Rn+1
n+1 s圽 在t1, t0
1圩 圽 在t2, t0
2
t1t2in圫 圱 sDn+1圴圮圳圮圷
fn+1sRn
ifn+1t1fn+1 sRn
ifn+1t2in圫 圱圴圮圳圮圷
坻 圷圴 坻
圴圮圳 畎畃界畂
fn+1sRn
ifn+1t1fn+1 sRn
ifn+1t2
fn+1sRn
ifn+1t1fn+1 sRn
ifn+1t2t1ψt2ψ
分别fn+1t1ψfn+1 t2ψn, f n+1siψ
n, f n+1siψn+1 , s iψ
u1, u2Sn使fn+1sRn
iu1, f n+1sRn
iu2u1ψu2ψ圴圮圳圮圵
t1, t2Sn+1 使u1fn+1t1u2fn+1 t2fn+1sRn
ifn+1t1
fn+1sRn
ifn+1t2fn+1 t1ψfn+1t2ψfn+1sRn
ifn+1t1
圴圮圳圮圶in圫 圱 in圫 圱t0
1Sn+1 使
sRn+1
it0
1fn+1t0
1圩 圽 fn+1t1fn+1sRn
ifn+1t2
t0
2Sn+1 使sRn+1
it0
2fn+1t0
2圩 圽 fn+1t2fn+1t0
1ψ
fn+1t0
2ψ分别t0
1ψt0
2ψn+1, s iψ
ff1甎 甁 甁 甁 甎 fm圴圮圳圮圵fSmS0
圴圮圳圮圲 和命圴圮圳圮圱圲
4.3.13. sSmϕNCLmm, s ϕϕfs
uScS0sSmf畎畃界畂m
mm圴圮圳圮圹
畎畃界畂m
4.3.14 畎畃界畂m.畎畃界畂m
畎畃界畂m圴圮圱圮圱 Ag
畎畃界畂m
一个主
Ag
畎畃界畂m
为从圴圮圳圮圴
地在变化为了
坻 圷圵 坻
畎畃界畂m
坻 圷圶 坻
态情
态情
话说
于主从一
个主态情
ϕϕ
ϕϕ明显
ϕϕϕϕ
ϕ
在坈坥坮坤坲坩坣坫坳圬 圲地圱地圩 但作
出公辑进出几
变化
圵圮圱 圵圮圲
在坐坬坡坺坡圬 圱圹圸圹圻 均坥坲坢坲坡坮坤坹 均坲坯坥坮坥坶坥坬坤圬 圱圹圹圷圻 坂坡坬坴坡坧 et al.圬 圱圹圹圸圩
5.1 入公
一个
制到坍坵坤坤坹 坃坨坩坬坤坲坥坮 坐坵坺坺坬坥一个
坻 圷圷 坻
5.1.1 NCLAm.
NCLAmNCLmϕϕ式得
ϕ场场圽 甾 番 pϕϕϕiϕϕϕ
pP, i Ag
ϕψ每次ϕψ
5.1.2 NCLAm.S, RiiAg, V NCLAm
1.1.3了下2iϕ
, s ϕψ, s ϕ, 畍番ϕ, s ψ.
畍番ϕS0,R0
iiAg, V 0S0sS番 畍, s ϕ, R0
i
RiS0S0V0p圩 圽 VpS0
NCLmNCLAm从下
pqpiqqiq, s iq
qiq
q
sq
i
99
i
%%
!q
甩 畍0sqi//q
q
为什么畎畃界 畎畃界畁m
畎畃界畁m
坻 圷圸 坻
圵圮圱 入公
5.1.3 畎畃界畁m.畎畃界畁m畎畃界m
1
!TOP ϕ甾甤甾
!ATOM ϕpϕp
!NEG ϕψϕ甡 町ϕψ
!CON ϕ坝在ψχ在坛ϕψϕχ
!COM ϕ坝坛ψχϕϕψχ
!圁 坛ϕ坝圁iψϕ在圁iϕψiϕψ圩圩
5.1.4 畎畃界畁m.畎畃界畁m
.畎畃界m圳圮圱圮圲!
ϕ坝圁iψϕ在圁iϕψiϕψ圩圩S, Rii
Ag, V sS
, s ϕ坝圁iψ, s ϕ在圁iϕψiϕψ
, s ϕ, s iϕψiϕψ
, s iϕψ, s iϕψt1, t2S使sRit1, sRit2
t1ϕψt2ϕψu1, u2S使sRiu1, sRiu2u1ϕψ
u2ϕψ, t2ϕψ, t2ϕ畍番ϕ, t2ψ, u2ϕψ
, u2ϕ畍番ϕ, u2ψ畍番ϕ, u2ψs甲 畍番ϕ, t2甲 畍番ϕsRit2
sR0
it2R0
i圵圮圱圮圲sR0
iu2
, s ϕ畍番ϕ, s iψsR0
it2, sR0
iu2t2ψu2ψ
, s ϕ在圁iϕψiϕψ, s ϕ坝圁iψ
, s ϕ畍番ϕ, s iψ, s iϕψiϕψ
, s iϕψtSsRit, t ϕψtS
sRit, t ϕψsϕt
sR0
it畍番ϕ, t ψsϕtsR0
it
畍番ϕ, t ψ畍番ϕ, s iψ, s iϕψ
畍番ϕ, s iψ畍番ϕ, s iψ
1畎畃界m4.2.2
坻 圷圹 坻
圵圮圱圮圳 畎畃界畁m了 一 个 从
NCLAmNCLmNCLAmNCLm
义一个NCLAm一个
NCLm畎畃界m
畎畃界畁m在坶坡坮 坄坩坴坭坡坲坳坣坨 et al.圬 圲地地圷圻 块坡坮坧
坃坡坯圬 圲地圱圳圩
5.1.5 畎畃界畁m.畎畃界畁m
畎畃界畁mNCLAmNCLm一个NCLm
圳圮圱圮圱地NCLAm
5.1.6 NCLAm.NCLAm
们也NCLAm最有圵圭
NCLAmNCLm
于任NCLAm
为一个 NCLm
5.1.7 畎畃界畁畓m.畎畃界畁畓m畎畃界畁m
Tw圁圵 畎畃界畁畓m
-
坍坵坤坤坹 坃坨坩坬坤坲坥坮 坐坵坺坺坬坥坄坹坮坡坭坩坣 坅坰坩坳坴坥坭坩坣
坌坯坧坩坣一个在坣坦圮 坥圮坧圮圬 坍坯坳坥坳 et al.圬 圱圹圸圶圩
K形式
形式
5.1.8 .n
孩子些人孩子
个人孩子
孩子
一个人
n继续
坻 圸地 坻
圵圮圲
knk
nk
miinn
且令 kkn圽 圳 k 一个
形式Wn
i=1 mi
形式Vn
i=nimi
中任ϕϕ0ψdf ψϕn+1ψdf ϕ坝坛ϕnψ
n, k Wn
i=1 mi坝坛Vn
i=1 Oimik1Vn
i=1 Oimi
n, k Wn
i=1 mi坝坛Vn
i=1 Oimik1Vk
i=1 imiVn
i=k+1 Oimi
n, k Wn
i=1 mi坝坛Vn
i=1 Oimik1Vk
i=1 imiVn
i=k+1 imi
地地地
地地圱
地圱地
地圱圱
圱地地
圱地圱
圱圱地
圱圱圱
a
a
a
b
b b
c
c
c
c
a
b地地圱
地圱地
地圱圱
圱地地
圱地圱
圱圱地
圱圱圱
a
a
b b
c
c
c
a
b
地圱圱
圱地圱
圱圱地
圱圱圱
圱圱圱
a
b
c
圱圱圱
圱圱地
圱圱圱
5.2
坡坣坴坩坯坮 坭坯坤坥坬坳变化形式
坂坡坬坴坡坧 et al. 在圱圹圹圸圩
一个
制到
出八卦协均坯坳坳坩坰 坐坲坯坴坯坣坯坬坳一个
NCLAMm
坻 圸圱 坻
5.2.1 NCLAMm.NCLAMm
ϕ场场圽 甾 番 p番 町ϕϕϕiϕαϕ
α场场圽 在M,sαα
pPiAgM,sMS,RiiAg,pre
sSSRiS一个二元关pre 一个从 S
NCLAMm一个S一个
αϕ每次αϕ
5.2.2 .MS,RiiAg,pre
M0S0,R0
iiAg,pre0MM0
S00,R00
iiAg,pre00
S00 SS0
s,s0R00
it,t0sRits0R0
it0
pre00在在s,s0圩圩 M,spre0s0
5.2.3 NCLAMm.S, RiiAg, V
MS,RiiAg,preϕNCLAMmαNCLAMm
为了
, s αϕ0, s0圩 场 , sα
0, s0,0, s0ϕ
, sM,s
0, s0甬 畍, s pres0, s0圩圽在畍 甊 M,s, s圩圩
αα0
α
甩 畛 α0
0畍 甊 MMS0,R0
ii
Ag, V 0
S0s, ssS, sS, s pres
s, sR0
it, tsRitsRit
s, sV0psVp,pP
坻 圸圲 坻
圵圮圲
5.2.4 畎畃界畁畍m.畎畃界畁畍m畎畃界m
2
ATOP M,s甾甤甾
AATOM M,sppresp
ANEG M,sϕpres甡 町M,sϕ
ACOM M,s坝在ϕψ在坛M,sϕM,sψ
A圁 坛M,s坝圁iψpresVsRit在圁iM,tψiM,tψ圩圩
AA M,s坝坛M0,s0ϕ坛在M,s圩圻 在M0,s0圩坝ϕ
AC αβϕ在坛αϕβϕ
5.2.5 畎畃界畁畍m.畎畃界畁畍m
.AS, RiiAg, V
sS
, s M,s坝圁iψ甩 畍, s pres^
sRit
在圁iM,tψiM,tψ.
, s M,s坝圁iψ, s pres, s VsRit在圁iM,tψ
iM,tψt使sRit, s iM,tψ, s
iM,tψt1, t2S使sRit1, sRit2t1M,tψt2
M,tψu1, u2S使sRiu1, sRiu2u1M,tψu2
M,tψt2M,tψ, t pret畍 甊 M,t2,tψ
u2M,tψ, u pret畍 甊 M,u2,tψsRit2
sRits, sR0
it2,ts, sR0
iu2,tR0
i圵圮圲圮圳
畍 甊 M,s, siψ畍 甊 M,s, siψ
圽场, s presVsRit在圁iM,tψiM,tψ, s
M,s坝圁iψ0, s0, sM,s
0, s00, s0iψ
, s pres0, s0圩 圽 在畍 甊 M,s, s圩圩, s
VsRit在圁iM,tψiM,tψt使sRit, s iM,tψ
2畎畃界m4.2.2
坻 圸圳 坻
, s iM,tψtsRit, s iM,tψtsRit
, t M,tψtsRit, t M,tψ
tsRit, t pret畍 甊 M,t, tψ
t, ts, sR0
it, t畍 甊 M,t, tψ
畍 甊 M,s, siψt, t
s, sR0
it, t畍 甊 M,t, tψ畍 甊 M,s, siψ
, s iM,tψ畍 甊 M,s, siψ
畍 甊 M,s, siψ0, s0iψ
NCLAmNCLAMmNCLm
畎畃界畁畍m了一个义一个
NCLAMm为一NCLm
畎畃界
畎畃界畁畍m
5.2.6 畎畃界畁畍m.畎畃界畁畍m
圵圮圱圮圷 NCLAMm
最有圵圭NCLAMmNCLm
上一NCLm
5.2.7 NCLAMm.
NCLAMm
5.2.8 卦协.卦协gossip protocols(Hedetniemi
坥坴 坡坬圮, 1988; Wang 坥坴 坡坬圮, 2011; Attamah 坥坴 坡坬圮, 2014)享他
两个主ijij Attamah 坥坴 坡坬圮 (2014)
ab个主他们之
他们
们也
nn
卦协
坻 圸圴 坻
圵圮圳
于三 a, b, c
ma, mb, mcabbcac 使a, b, c
3abbcacVi∈{a,b,c}Vj∈{a,b,c}imj3
abbcac 变化一个
一个ab 分别mamb
a, b 可区c
可区二个bc 三个ac
分别ma, mb, mc
地地地
地地圱
地圱地
地圱圱
圱地地
圱地圱
圱圱地
圱圱圱
bc
bc
bc
ac
ac ac
ab
ab
ab
ab
bc
ac
地地地
地地圱
地圱地
地圱圱
圱地地
圱地圱
圱圱地
圱圱圱
c
c
c
c
c c
ab
ab
ab
ab
c
c
地地地
地地圱
地圱地
地圱圱
圱地地
圱地圱
圱圱地
圱圱圱
a
a
a
a
地地地
地地圱
地圱地
地圱圱
圱地地
圱地圱
圱圱地
圱圱圱
5.3
在坈坵坭坢坥坲坳坴坯坮坥圬 圱圹圹圵圻 坋坵坨坮圬 圱圹圹圵圻 坚坯坬坩坮圬 圱圹圹圹圩
全公
坈坵坭坢坥坲坳坴坯坮坥 在圱圹圹圵圩 了一NC
在坎坃坒圩k
坋坵坨坮 在圱圹圹圵圩 NC
K3上一个坚坯坬坩坮 在圱圹圹圹圩
K使形式并建全公
一个
为 了
义一个为 了
坈坵坭坢坥坲坳坴坯坮坥 sRct坩國 λstλλs圩 圽 ϕ
ϕs, ψ, ϕψψs
NC
3George Schumm Kuhn (1995) 评论231 Kuhn K4
K44
坻 圸圵 坻
坋坿坯坮坩坧圧坳 坌坥坭坭坡坋坵坨坮 λλ
λs圩 圽 ϕψ, 圁在ϕψs使坈坵坭坢坥坲坳坴坯坮坥 在圱圹圹圵圩
坚坯坬坩坮 义了一个从NCL ]
使]s圩 圽 ϕϕsϕ圁在ψϕψNCL坋坵坨坮 λ
坚坯坬坩坮 ]一个为不s]s圩 圽 λs圩圮
畎畃界 坋坵坨坮 KCon
ϕ畞 畲ϕψ甡 畲ψ
AD圱圮圳圮圲坋坵坨坮圬 坈坵坭坢坥坲坳坴坯坮坥圬 坚坯坬坩坮
AD 思想NCL 圁圭
NCL
MLFOL价于NCL且仅
圁圭下不圲圮圳 坋坵坨坮 从他
λϕdef
VψNCL 圁在ϕψ圩圬
ϕϕ上不坚坯坬坩坮 在圲地地圱坡圩
坈坵坭坢坥坲坳坴坯坮坥 在圲地地圲圬 坰坡坧坥 圱圱圸圩 在坋坵坨坮圬 圱圹圹圵圻 坚坯坬坩坮圬
圱圹圹圹圩
义上子定义了
以一
广到动
告和讨论
坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圳圬 圲地地圴圩
了一坡 坬坯坧坩坣 坦坯坲 坩坧坮坯坲坡坮坣坥坩坧坮坯坲坡坮坣坥
一个II
Iϕ ϕϕ
义上Iϕ 且仅两个不使
ϕ一个世上为一个世上为他们
于任
他们上也一个
Ig 他们一个I
坻 圸圶 坻
圵圮圳
5.3.1 Ig 在坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯圬 圲地地圳圬 圲地地圴圩圩.
I0
I1 ϕ甤 町ϕ
I2 圁在ϕψ甡 町ϕ畟 町ψ
I3 在圁ϕ畞 町圁在χ1ϕ圁在ϕψ畞 町圁在χ2ϕψ圩圩圩 ψ畞 町圁在χ1ψ
I4 ψ畞 町χ甡 町圁在χψ畟 町圁在χ畞 町ψ
RI ϕ
ϕχ甡 町圁在χϕ圩圩
MP ϕ, ϕ ψ
ψ
Sub ϕψ
χϕ/pχψ/p
他们Ig
圳圮圱 畎畃界
Ig I3 I4畎畃界
两个Ig 畎畃界
5.3.2. Ig 畎畃界 Ig 畎畃界
畎畃界 Ig
坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩 Ig
G4I
χϕ畞 町圁在ϕχ圁在圁ϕ畞 町圁在χϕ圩圩 畞 町圁在圁ϕ畞 町圁在ϕχχ
坖坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圬 坌坥坭坭坡 圴圮圲圩 Ig G4
G4 Ig G4
5.3.3. G4 上不
坻 圸圷 坻
.
t1p, q
tp, q
88
&&
sp, q
66
((
//
11t2p, q
up, q
G4 γ
p在圁q畞 町圁在qp圁在圁q畞 町圁在pq圩圩 畞 町圁在圁q畞 町圁在qpp圩圩
spsq畞町圁在qp圩圮 tq畞町圁在pq
uq畞 町圁在pqs圁在圁q畞 町圁在pq圩圩s圁在圁q畞 町圁在p
q圩圩 畞 町圁在圁q畞 町圁在qpp, s γγ
G4 上不
5.3.4. Ig G4
Ig G4
圳圮圲 了一个畎畃界畎畃界 畎畃界
NCL 全公
在坶坡坮 坤坥坲 坈坯坥坫 坌坯坭坵坳坣坩坯圬 圲地地圴圩
畎畃界
一互两个
坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩 三个
广到动态情
全公
一个坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩 一个
拓扑并建义下LB
坻 圸圸 坻
圵圮圳
拓扑S4 LB
5.3.5 LB.
TAUT
N甾甤甾
Zϕϕ
Rϕψ圁在ϕψ
WM ϕϕψ
ϕϕψψ
MP ϕ, ϕ ψ
ψ
Sub ϕψ
χϕ/pχψ/p
畎畃界畓S4
畎畃界畓LB 两个
5.3.6. LB 畎畃界畓LB
畎畃界畓之亦
畎畃界畓LB 分别两个
圵圮圳圮圶 两个
拓扑一个
一个下一
坻 圸圹 坻
坻 圹地 坻
坓坴坥坩坮坳坶坯坬坤 坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩
1S4
义下
使得很
圁在ϕψ在圁ϕψ
义下
ϕϕ圳圮圱圮圱
GEN
一个
的相
义下
于两个不
一个广
坓坣坯坴坴 坍坯坮坴坡坧坵坥 圱圹圷地 分别在坓坣坯坴坴圬 圱圹圷地圻
坍坯坮坴坡坧坵坥圬 圱圹圷地圩为了
一个在坃坨坥坬坬坡坳圬 圱圹圸地圩坓坴坥坩坮坳坶坯坬坤
一人 在坓坴坥坩坮坳坶坯坬坤圬 圲地地圸圩坓坴坥坩坮坳坶坯坬坤
一个
2ϕ2ϕ拓扑
1拓扑一个Pacuit (2007)
坻 圹圱 坻
一个广
义下
圶圮圱 该语义下圶圮圲
讨论圶圮圳 一个
坣坬坡坳坳坩坣坡坬 坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣2不仅
圶圮圴
义之圶圮圵 一个
6.1
圱圮圱圮圱 NCLNCL 义之
6.1.1 .S, N, V 一个
S一个DNSS圩圩
V一个pP
VpSsD, s为一个
sDs甲 畍一个
分别
6.1.2 .S, N 一个
sSX, Y SX, Y S
n圩 场 NsSNs
r圩 场 NsTNsNs
i圩 场 Ns交下X, Y NsXYNs
s圩 场 NsXNsXYSYNs
c圩 场 NsXNsSXNs
d圩 场 XNsSX /Ns
t圩 场 XNssX
2classical modal logic
E(Chellas, 1980, Chapter 8)
坻 圹圲 坻
圶圮圱
b圩 场 sXuSSX /Nu畧 甲 Ns
在圴圩 场 XNsuSXNu畧 甲 Ns
在圵圩 场 X /NsuSX /Ns畧 甲 Ns
NsSNs
有某Nrs
d,t,b,在圴圩,在圵圩 分别
为一个分别D, T, B, ,
为了义中2
一个式必
过运2一个
ϕ2ϕ2ϕ义下坓坴坥坩坮坳坶坯坬坤 在圲地地圸圬 坄坥坦圮 圳圮圲圩 拓扑
6.1.3 .S, N, V 一个sSCML
, s
, s psVp
, s ϕ甩 畍, s ϕ
, s ϕψ甩 畍, s ϕ, s ψ
, s 2ϕϕMNs
, s ϕϕMNsϕMNs
ϕMϕϕMsS番 畍, s ϕ
ϕ, s中为, s ϕsϕϕ
ϕs甲 畍, s ϕϕϕ
ϕϕ, s使, s ϕ
, s中为, s ψ
, s ψϕϕ
s甲 畍, s , s ϕ
坻 圹圳 坻
ϕψϕψ
, s甲 畍, s ϕ且仅, s ψ
Nss2ϕ
ϕsϕϕ
一个s
义下
义下
免克之下
6.1.4 .
1. ϕ2ϕ2ϕ, ϕϕ
2. ϕψϕψ
3. 圁在ϕψ圁在ϕψψ
4. ϕ圁在ϕψ圁在ϕχ
5. ϕϕ
.义不
1S1, N1, V1
S1s1, t1
N1s1圩 圽 畦畦s1,t1畧畧, N1t1圩 圽
V1p圩 圽 s1, V1q圩 圽
XN1s被表sX
s1畧 畦t1
s1p, q
ee99
t1p, q
pqM1t1畧 甲 N1s1pqM1s1畧 甲 N1s1
1, s1圁在pq1, s1圁在pq
qM1V1q圩 圽 /N1s1qM1s1, t1/N1s11, s1q
1, s1圁在pq圁在pqq
2S2, N2, V2
坻 圹圴 坻
圶圮圲
S2s2, t2
N2s2圩 圽 畦畦s2,t2畧畧, N2t2圩 圽
V2p圩 圽 V2q圩 圽 s2, V2r圩 圽 t2
s2畧 畦t2
s2p, q, r
ff99
t2p, q, r
pM2V2p圩 圽 s2畧 甲 N2s22, s2p
pqM2s2, t2/N2s2pq圩圩M2/N2s2
2, s2圁在pqprM2s2, t2/N2s2pr圩圩M2/
N2s22, s2圁在pr2, s2p圁在pq圁在p
r
3S3, N3, V3
S3s3
N3s3圩 圽
V3p圩 圽
s3p
M3s3/N3s3町甾M3/
N3s33, s3
6.2
NCL ML
的相
圲圮圱圮圱
坤坩坳坴坩坮坧坵坩坳坨坮坥坳坳分力
圲圮圱圮圱分力分力
坻 圹圵 坻
6.2.1 分力.两个L1, L2
L2分力L1L1dL2, s,, t
, s番番L1, t, s番番L2, tL甲 畦L1, L2
, s番番L, tϕL使, s ϕ, t ϕ
L1分力L2L1dL2L1dL2L2dL1
L1分力L2L1dL2L1dL2L1甶甑dL2
, s番番L, t的直, s, t两个L
L1dL2L1两个L2
义不两个分力也一
不一话说两个分力不一
不一为了L1上严L2L2
上严L1L1L2L1甶甑dL2
两个, s,, t使L1两个ϕL1
, s ϕ坩國 , t ϕL2ψL2使, s ψ
, t ψ
6.2.2. r,i,s,d
NCL ML
.圶圮圱圮圴 ϕ2ϕ2ϕNCL
ML t使tϕ
t在圁ϕ圩 圽 2tϕ2tϕϕNCLtϕML使
ϕtϕNCL ML
为了NCL ML两个使两个
NCL ML 两个
S, N, V 0S0, N 0, V 0
Ss, t, S0s0, t0
坻 圹圶 坻
圶圮圲
Ns圩 圽 畦畦t,s, t畧畧, Nt圩 圽 , N0s0圩 圽 畦畦t0,s0, t0畧畧, N 0t0圩 圽
Vp圩 圽 s, V 0p圩 圽 s0, t0
两个
t畧 畦s, t
sp
bb::
tp
t0畧 畦s0, t0
s0p
cc99
t0p
0
0r,i,s,d
ML , s0, s0pMs/Ns, s 2p
pM0s0, t0畧 甲 N0s00, s02pML 2p两个
NCL 两个? ϕNCL, s ϕ
坩國 0, s0ϕ
ϕNCL ?ϕ
, s ϕϕMNs圩 坯坲 ϕMNs
ϕM甲 畦畦t,s, t畧畧 坯坲 在ϕM甲 畦畦t,s, t畧畧
ϕMt坯坲 ϕMs, t坯坲 在ϕMt坯坲 在ϕMs, t
ϕMt坯坲 ϕMs, t坯坲 ϕMs坯坲 ϕM
0, s0ϕϕM0N0s圩 坯坲 在ϕM0N0s
ϕM0甲 畦畦t0,s0, t0畧畧 坯坲 在ϕM0甲 畦畦t0,s0, t0畧畧
ϕM0t0坯坲 ϕM0s0, t0坯坲 在ϕM0t0
坯坲 在ϕM0s0, t0
ϕM0t0坯坲 ϕM0s0, t0坯坲 ϕM0s0坯坲 ϕM0
ϕ
坻 圹圷 坻
ϕ一个
ϕ, s ϕ坩國 0, s0ϕ
6.2.3. nbNCL ML
.圶圮圲圮圲 NCL ML
NCL 甶甑dMLS, N, V 0
S0, N0, V 0
Ss, tS0s0, t0
Ns圩 圽 畦画,t,s, t畧畧Nt圩 圽 畦画,s,t,s, t畧畧N0s0圩 圽 畦画,t0,s0, t0畧畧
N0t0圩 圽 畦画,s0,t0,s0, t0畧畧
Vp圩 圽 sV0p圩 圽 s0, t0
画 畦s
sp
99
%%
//s, ttp
eeOO
yy
oo
t
画 畦s0
s0p
99
//
%%
s0, t0t0p
eeOO
yy
oo
t0
0
0nb
0
n圩场 SNsSNt
b圩场 NtDb
NtNssXXss, tSX
tt,画 甲 NsuSSX /Nu画 甲 Ns
s/Nss0, t0畧 甲 N0s0圶圮圲圮圲
s2ps02p, s0, s0ML 2p
圶圮圲圮圲 的相ϕNCL, s ϕ
坩國 0, s0ϕ, s0, s0NCL
6.2.4. 在圴圩 在圵圩 NCL ML
坻 圹圸 坻
圶圮圲
.圶圮圲圮圲 NCL ML
NCL 甶甑dMLS, N, V 0
S0, N0, V 0
Ss, tS0s0, t0
Ns圩 圽 畦画,s,s, t畧畧Nt圩 圽 畦畦t畧畧N0s0圩 圽 畦畦s0,s0, t0畧畧N0t0圩 圽
畦畦t0,画畧
Vp圩 圽 V0p圩 圽
画 畦s, t畧 畦s畧 畦t畧 畦s0, t0畧 畦s0畧 畦t0畧 画
sp
^^OO==
tp
OO
s0p
ddOO
t0p
OO@@
畍 畍0
于下三个
0在圴圩 在圵圩证该0
在圴圩场 XNsXXsXs, t
uSXNus畧 甲 Ns在圴圩
Nt
在圵圩场 X /NsXtuSX /
Nus畧 甲 Ns在圵圩 Nt
, s0, s0ML 2ppM画 甲 Ns, s 2p
pM0/N0s00, s02p
, s0, s0NCL ϕNCL, s ϕ
坩國 0, s0ϕ圶圮圲圮圲 的相
tNCL ML
义下2
令人c
NCL ML
坻 圹圹 坻
6.2.5. tNCL ML
.义一 tNCL ML t0ML NCL使
t在圁ϕ圩 圽 2tϕ2tϕt02ϕ圩 圽
t0ϕt0ϕ
圶圮圱圮圴圮圱ϕNCL ϕtϕ
tϕMLNCL ML
ttML NCL?圩 场
ϕMLtϕt0ϕS, N, V 畩 甲 ts甲 畍
2ϕ, s 2ϕ坩國 , s t0ϕt0ϕ
, s 2ϕϕMNst0ϕ圩圩M
Nst0ϕMNst0ϕ圩圩MNs, s t0ϕ
t0ϕ圩圩MNstst0ϕ圩圩M, s t0ϕ
, s t0ϕt0ϕ
, s t0ϕt0ϕ, s t0ϕt0ϕ圩圩MNs
t0ϕ圩圩MNst0ϕ圩圩MNsNst
st0ϕ圩圩M, s t0ϕ, s t0ϕt0ϕ圩圩M
NsϕMNs, s 2ϕ
?
6.2.6. cNCL ML
.ttr 分别同命圶圮圲圮圵 tt0tr2ϕ圩 圽 圁trϕ
圶圮圲圮圵 的相NCL ML
cccϕtrϕS, N, V 畩 甲 c
sS2ϕ, s 2ϕ坩國 , s trϕ
圶圮圱圮圴圮圱ϕ2ϕ2ϕ坯坮坬坹 坩坦
, s trϕtrϕ圩圩MNstrϕ圩圩MNs
trϕ圩圩MNsNsctrϕ圩圩MNs
trϕ圩圩MNsϕMNs, s 2ϕ
坻 圱地地 坻
圶圮圲
话说
p3pd圩 在坐坡坣坵坩坴圬 圲地地圷圬 坓坥坣坴坩坯坮 圲圮圴圩圶圮圱圮圲
NCL
圲圮圱圮圵
6.2.7. n,r,i,s,c,d,t,b,在圴圩,在圵圩 NCL 中不
.1S1, N12S2, N23S3, N34S4, N4
s1
s1
OO
1
s2
s2
OO
2
t3
s3
;;
##
t3
bb
{{
3
s4, t4
s4
::
$$
//s4t4
dd
zz
oo
t4
4
1dt2dt2n圩圬 在s圩圬 在c圩圬
b圩圬 在圴圩圬 在圵圩 3任一3ri
4ris2畧 甲 N2s2S2畮畦s2畧 甲 N2s22
dt3甲 畦t3uS3番 畦s3/N3us3, t3/N3t33
bTN4s4圩 圽 /N4s44r
ϕNCL1ϕ坩國 2ϕ坩國 3ϕ坩國 4ϕ
1ϕ1F1, V1使1, s1ϕV22
pV2s2圩 坩國 pV1s1pϕϕ
1, s1ϕ坩國 2, s2ϕϕ
圶圮圲圮圲 的相2, s2ϕ2ϕ
1ϕ坩國 2ϕ
2ϕ坩國 3ϕ3ϕ坩國 4ϕ
NCL d1d1
坻 圱地圱 坻
么也22ddNCL
6.3
义下一个
c
6.3.1 畃畃界.畃畃界 TAUT Equ
RE
TAUT
Equ ϕϕ
REϕψ
ϕψ
ϕ一个ϕ一个 NCL-
一个
过运ϕ畃畃界 一个畃畃界 中从
ϕ一个
畃畃界
c
NCL畃畃界
ϕϕϕ畃畃界 畃畃界
畃畃界 畃畃界
6.3.2 .S一个
SϕSϕϕ
Sϕϕ
Sϕ
畃畃界
坻 圱地圲 坻
圶圮圳
6.3.3 畃畃界 .cSc, Nc, V c畃畃界
Sc有极畃畃界
Nc畦番ϕ番 番 ϕs
Vcp圩 圽 sScs甲 番p番畧
ϕsScϕsϕ畃畃界
6.3.4 .sScϕNCLc, s ϕϕs
ϕMcϕ
.ϕNCL ϕ
c, s ϕ
ϕMcNcsϕMcNcs
甩 番ϕ番 甲 Ncs圩 坯坲 番町ϕ番 甲 Ncs
Nc
ϕs坯坲 圁ϕs
Equ
ϕs
Nc
6.3.5. ϕ番 甲 Ncsϕψψs
.ϕsϕ番 甲 Ncsϕsϕψ
ϕψϕψ畃畃界
sSc使ϕψsϕs甶甬 ψsϕψ
ϕψREϕψψs
6.3.6. 畃畃界
.圶圮圱圮圴 ϕ畛 畦町ϕ畃畃界
sSc使畛 畦町ϕ畧 甒 s圶圮圳圮圴
ϕ
圶圮圳圮圶 畃畃界 义下畃畃界
c
坻 圱地圳 坻
6.3.7. 畃畃界 c
.圶圮圳圮圶NccsScNcs
c
sScXNcsNcϕNCL 使Xϕ番 甲
NcsϕsEquϕsNc番町ϕ番 甲 Ncs
S畮番ϕ番 甲 NcsSXNcs
ϕ2ϕ2ϕ在坃坨坥坬坬坡坳圬 圱圹圸地圩
畃畃界
6.3.8 畃畃界 .畃畃界
E在坣坦圮 坥圮坧圮圬 坃坨坥坬坬坡坳圬 圱圹圸地圬 坰圮 圲圳圱圩
TAUT
Def3 3ϕ甤 町2ϕ
RE2ϕψ
2ϕ2ψ
畃畃界 E
之不了一个
6.4
讨论其克
NCL 架本
一个一个
NCL NCL
一个广
6.4.1. (Chellas, 1980, Thm. 7.9) KS, R, V
一个NS, N, V 使sSϕML
K, s ϕ甩 畍N, s ϕϕMKϕMN之亦
坻 圱地圴 坻
圶圮圵
圶圮圲圮圲 一个从 NCL ML
6.4.2. KS, R, V 一个
NS, N, V 使sSϕNCLK, s ϕ
N, s ϕϕMKϕMN
6.4.3. NS, N, V
KS, R, V 使sSϕNCLN, s ϕ
K, s ϕϕMNϕMK
两个据推圶圮圴圮圲圁在ϕψϕ
上不上不
畎畃界
圶圮圴圮圳 圶圮圴圮圲
6.4.4. 畎畃界
6.5
上两
们也
一个
一个一一
畎畃界 3
NCL
NCL在坁坲坥坣坥坳 坡坮坤 坆坩坱坵坥坩坲坡圬 圲地地圹圻 坈坡坮坳坥坮 et
al. 圲地地圹圩 到动
在块坨坥坥坬坥坲圬 圲地圱地圻 坍坡 坡坮坤 坓坡坮坯圬 圲地圱圳圩
3一个F=hS, N iF6.1.2 (n),(i)(s)
话说sSN(s)一个filter(a)SN(s)(b)X, Y N(s)
XYN(s)(c)XN(s)XYSYN(s)(Kudinov, 2014, p.
375)(cf. e.g., Pacuit, 2007, p. 9)
坻 圱地圵 坻
坻 圱地圶 坻
了一
评论
了一个AD
ψ2ϕϕ圁在ψϕ圩圩
2AD
AD
圁圭坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯
在圲地地圴圩 三个圁圭了两个
圁圭下不圁圭下不
的相
五个
坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩
二个
AD
AD T
B
思想
坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩 一个
坻 圱地圷 坻
广
态情
思想
分别加入公
了两个
两个变化分别
卦协也与
畎畃界 坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圳圬
圲地地圴圩 Ig
畎畃界 畎畃界畓坓坴坥坩坮坳坶坯坬坤
在圲地地圸圩 LB于不两个
坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圴圩 Ig G4
一个
义下
义下
一个
义之一一
义也坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩 拓扑一个广
举一些
Ag 畎畃界畂m
Ag
变化
畎畃界畂m
Ag
一个
一个
坻 圱地圸 坻
义下什么
义下也
义下个互
分别刻
拓扑坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩
22ϕ2ϕ拓扑
S4 拓扑以不2
使
拓扑
事件
在地,圱圩 事件
事件事件
事件
也不
于三可参坕坲坱坵坨坡坲坴 在圲地地圲圩
坻 圱地圹 坻
视角坛坊坝圮 学学
圲圷圭圳圴 圬 圲地圱地圮
坓圮 坁坫坡坭坡圬 坔圮 坍坵坲坡坩圬 坡坮坤 坙圮 坋坵坤坯圮 坎坯坮圭坩坧坮坯坲坡坮坣坥 坡坮坤 坫坮坯坷坬坥坤坧坥圮 坉坮 Proceedings
of the 2012 IEEE International Conference on Granular Computing (GrC-2012)
坉坅坅坅 坃坯坭坰坵坴坥坲 坓坯坣坩坥坴坹圬 坰坰圮 圲圱圭圲圵圬 圲地圱圲圮
坍圮 坁坬坯坮坩圬
坅坧坲圓坥圬 坡坮坤 坔圮 坊坡坧坥坲圮 坋坮坯坷坩坮坧 坷坨坥坴坨坥坲 坁 坯坲 坂圮 Synthese圬 圱圹地在圱圴圩场
圲圵圹圵坻圲圶圲圱圬 圲地圱圳圮
坃圮 坁坲坥坣坥坳 坡坮坤 坄圮 坆坩坧坵坥坩坲坡圮 块坨坩坣坨 坓坥坭坡坮坴坩坣坳 坦坯坲 坎坥坩坧坨坢坯坵坲坨坯坯坤 坓坥坭坡坮坴坩坣坳圿 IJCAI
坰坡坧坥坳 圶圷圱坻圶圷圶圬 圲地地圹圮
坍圮 坁坴坴坡坭坡坨圬 坈圮 坶坡坮 坄坩坴坭坡坲坳坣坨圬 坄圮 均坲坯坳坳坩圬 坡坮坤 块圮 坶坡坮 坤坥坲 坈坯坥坫圮 坋坮坯坷坬坥坤坧坥 坡坮坤
坧坯坳坳坩坰圮 坉坮 ECAI 2014: 21st European Conference on Artificial Intelligence圬 坖坯坬圮
圲圶圳圬 坰坡坧坥坳 圲圱坻圲圶圬 坉坏坓 坐坲坥坳坳圬 圲地圱圴圮
坒圮 坊圮 坁坵坭坡坮坮圮 Notes on interactive epistemology圮 坃坯坷坬坥坳 坆坯坵坮坤坡坴坩坯坮 坦坯坲 坒坥坳坥坡坲坣
坩坮 坅坣坯坮坯坭坩坣坳 坷坯坲坫坩坮坧 坰坡坰坥坲圬 圱圹圸圹圮
坁圮 坂坡坬坴坡坧圬 坌圮 坓圮 坍坯坳坳圬 坡坮坤 坓圮 坓坯坬坥坣坫坩圮 坔坨坥 坬坯坧坩坣 坯坦 坰坵坢坬坩坣 坡坮坮坯坵坮坣坥坭坥坮坴坳圬 坣坯坭坭坯坮
坫坮坯坷坬坥坤坧坥圬 坡坮坤 坰坲坩坶坡坴坥 坳坵坳坰坩坣坩坯坮坳圮 坉坮 Proc. of 7th TARK圬 坰坡坧坥坳 圴圳坻圵圶圮 坍坯坲坧坡坮
坋坡坵坦坭坡坮坮圬 圱圹圹圸圮
圮 坂坬坡坣坫坢坵坲坮圬 坍圮 坤坥 坒坩坪坫坥圬 坡坮坤 坙圮 坖坥坮坥坭坡圮 Modal Logic 坃坡坭坢坲坩坤坧坥 坕坮坩坶坥坲坳坩坴
坐坲坥坳坳圬 坃坡坭坢坲坩坤坧坥圬 圲地地圱圮 坃坡坭坢坲坩坤坧坥 坔坲坡坣坴坳 坩坮 坔坨坥坯坲坥坴坩坣坡坬 坃坯坭坰坵坴坥坲 坓坣坩坥坮坣坥 圵圳圮
坻 圱圱圱 坻
坁圮 坂坲坯坧坡坮圮 坁坲坩坳坴坯坴坬坥圧坳 坬坯坧坩坣 坯坦 坳坴坡坴坥坭坥坮坴坳 坡坢坯坵坴 坣坯坮坴坩坮坧坥坮坣坹圮 Mind圬 圷圶在圳地圱圩场圴圹坻圶圱圬
圱圹圶圷圮
坂圮 坆圮 坃坨坥坬坬坡坳圮 Modal Logic: An Introduction圬 坃坡坭坢坲坩坤坧坥 坕坮坩坶坥坲坳坩坴坹 坐坲坥坳坳圬 圱圹圸地圮
坉圮 坃坩坡坲坤坥坬坬坩 坡坮坤 坆圮 坒坯坥坬坯坦坳坥坮圮 坉坮坱坵坩坳坩坴坩坶坥 坤坹坮坡坭坩坣 坥坰坩坳坴坥坭坩坣 坬坯坧坩坣圮 Synthese圬 圲地圱圴圮
坐坵坢坬坩坳坨坥坤 坯坮坬坩坮坥 圌坲坳坴 坍坡坲坣坨 圲地圱圴圮
坁圮 坆圮 坂圮 坃坯坳坴坡圭坌坥坩坴坥圮 Interactions of metaphysical and epistemic concepts圮 坐坨坄
坔坨坥坳坩坳圬 坕坮坩坶坥坲坳坩坴圓坥 坤坥 坎坥坵坣坨坞坡坴坥坬圬 坊坵坬坹 圲地地圷圮
坍圮 坃坲坥坳坳坷坥坬坬圮 坎坥坣坥坳坳坩坴坹 坡坮坤 坣坯坮坴坩坮坧坥坮坣坹圮 Studia Logica圬 圴圷场圱圴圵坻圱圴圹圬 圱圹圸圸圮
坓圮 坄坥坭坲坩圮 坁 坣坯坭坰坬坥坴坥坮坥坳坳 坰坲坯坯坦 坦坯坲 坡 坬坯坧坩坣 坷坩坴坨 坡坮 坡坬坴坥坲坮坡坴坩坶坥 坮坥坣坥坳坳坩坴坹 坯坰坥坲坡坴坯坲圮
Studia Logica圬 圵圸在圱圩场圹圹坻圱圱圲圬 圱圹圹圷圮
坅坧坲圓坥圮 坑坵坥坳坴坩坯坮圭坥坭坢坥坤坤坩坮坧 坡坮坤 坦坡坣坴坩坶坩坴坹 Grazer Philosophische Studien圬 圷圷场圸圵坻
圱圲圵圬 圲地地圸圮
坒圮 坆坡坧坩坮圬 坊圮 坈坡坬坰坥坲坮圬 坙圮 坍坯坳坥坳圬 坡坮坤 坍圮 坖坡坲坤坩圮 Reasoning about knowledge. 坍坉坔
坐坲坥坳坳圬 坃坡坭坢坲坩坤坧坥圬 坍坁圬 坕坓坁圬 圱圹圹圵圮
坊圮 坡坮圬 坙圮 坡坮坧圬 坡坮坤 坈圮 坶坡坮 坄坩坴坭坡坲坳坣坨圮 坁坬坭坯坳坴 坮坥坣坥坳坳坡坲坹 坉坮 Advances in Modal
Logic圬 坖坯坬圮 圱地圬 坰坡坧坥坳 圱圷圸圭圱圹圶圬 圲地圱圴圮
坊圮 坡坮圬 坙圮 坡坮坧圬 坡坮坤 坈圮 坡坮 坄坩坴坭坡坲坳坣坨圮 坃坯坮坴坩坮坧坥坮坣坹 坡坮坤 坋坮坯坷坩坮坧 块坨坥坴坨坥坲圮 The
Review of Symbolic Logic圬 坃坡坭坢坲坩坧坥 坕坮坩坶坥坲坳坩坴坹 坐坲坥坳坳圬 坖坯坬圮 圸圬 坉坳坳坵坥 地圱圬 坰坡坧坥坳
圷圵圭圱地圷圬 坍坡坲坣坨 圲地圱圵圮
坊圮 均坥坲坢坲坡坮坤坹 坡坮坤 块圮 均坲坯坥坮坥坶坥坬坤圮 坒坥坡坳坯坮坩坮坧 坡坢坯坵坴 坉坮坦坯坲坭坡坴坩坯坮 坃坨坡坮坧坥圮 Journal
of Logic, Language and Information圬 圶在圲圩场 圱圴圷坻圱圶圹圬 圱圹圹圷圮
坊圮 坈坡坬坰坥坲坮 坡坮坤 坙圮 坍坯坳坥坳圮 坔坯坷坡坲坤坳 坡 坴坨坥坯坲坹 坯坦 坫坮坯坷坬坥坤坧坥 坡坮坤 坩坧坮坯坲坡坮坣坥场 坰坲坥坬坩坭坩坮坡坲坹
坲坥坰坯坲坴圮 坉坮 坋圮 坁坰坴 在坥坤圮圩圬 Logics and Models of Concurrent Systems圬 坰坰圮 圴圵圹圭圴圷圶圬
坓坰坲坩坮坧坥坲圬 坂坥坲坬坩坮圬 圱圹圸圵圮
坻 圱圱圲 坻
坊圮 坈坡坬坰坥坲坮 坡坮坤 坙圮 坍坯坳坥坳圮 坁 坴坨坥坯坲坹 坯坦 坫坮坯坷坬坥坤坧坥 坡坮坤 坩坧坮坯坲坡坮坣坥 坦坯坲 坭坡坮坹 坡坧坥坮坴坳圮
Journal of Logic and Computation圬 坖坯坬圮 圷圬 坰坰圮 圷圹坻坬地圸圬 圱圹圹圷圮
坊圮 坈坡坮坳坥坮圮 A logic toolbox for modeling knowledge and information in multi-agent
systems and social epistemology 坐坨坄 坴坨坥坳坩坳圬 坒坯坳坫坩坬坤坥 坕坮坩坶坥坲坳坩坴坹圬 圲地圱圱圮
坈圮 坈圮 坈坡坮坳坥坮圬 坃圮 坋坵坰坫坥 坡坮坤 坅圮 坐坡坣坵坩坴圮 坎坥坩坧坨坢坯坵坲坨坯坯坤 坓坴坲坵坣坴坵坲坥坳场 坂坩坳坩坭坩坬坡坲坩坴坹
坡坮坤 坂坡坳坩坣 坍坯坤坥坬 坔坨坥坯坲坹圮 Logical Methods in Computer Science圬 圵在圲圩场圱圭圳圸圬 圲地地圹圮
坓圮 坈坡坲坴圬 坁圮 坈坥坩坦坥坴坺圬 坡坮坤 坄圮 坓坡坭坥坴圮 坋坮坯坷坩坮坧 坷坨坥坴坨坥坲圬 坫坮坯坷坩坮坧 坴坨坡坴圬 坡坮坤 坴坨坥 坣坡坲坤坩圭
坮坡坬坩坴坹 坯坦 坳坴坡坴坥 坳坰坡坣坥坳圮 Journal of Economic Theory圬 圷地在圱圩场圲圴圹坻圲圵圶圬 圱圹圹圶圮
坓圮 坈坥坤坥坴坮坩坥坭坩圬 坓圮 坈坥坤坥坴坮坩坥坭坩圬 坡坮坤 坁圮 坌坩坥坳坴坭坡坮圮 坁 坳坵坲坶坥坹 坯坦 坧坯坳坳坩坰坩坮坧 坡坮坤 坢坲坯坡坤圭
坣坡坳坴坩坮坧 坩坮 坣坯坭坭坵坮坩坣坡坴坩坯坮 坮坥坴坷坯坲坫坳圮 Networks圬 圱圸场圳圱圹坻圳圴圹圬 圱圹圸圸圮
坁圮 坈坥坩坦坥坴坺 坡坮坤 坄圮 坓坡坭坥坴圮 Universal Partition Structures 块坯坲坫坩坮坧 坰坡坰坥坲 在坉坳坲坡坥坬
坉坮坳坴坩坴坵坴坥 坯坦 坢坵坳坩坮坥坳坳 坲坥坳坥坡坲坣坨圩圬 坔坥坬 坁坶坩坶 坕坮坩坶坥坲坳坩坴圬 圱圹圹圳圮
坖圮 坈坥坮坤坲坩坣坫坳圮 坋坮坯坷坬坥坤坧坥 坴坲坡坮坳坭坩坳坳坩坢坩坬坩坴坹 坡坮坤 坰坬坵坲坡坬坩坳坴坩坣 坩坧坮坯坲坡坮坣坥场 坁 圌坲坳坴 坳坴坡坢圮
Metaphilosophy圬 圴圱场圲圷圹坻圲圹圱圬 圲地圱地圮
坊圮 坈坩坮坴坩坫坫坡圮 Knowledge and Belief 坃坯坲坮坥坬坬 坕坮坩坶坥坲坳坩坴坹 坐坲坥坳坳圬坉坴坨坡坣坡圬 坎坙圬 圱圹圶圲圮
坌圮 坈坵坭坢坥坲坳坴坯坮坥圮 坔坨坥 坬坯坧坩坣 坯坦 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 Notre Dame Journal of Formal
Logic圬 圳圶在圲圩场圲圱圴坻圲圲圹圬 圱圹圹圵圮
坌圮 坈坵坭坢坥坲坳坴坯坮坥圮 坔坨坥 坭坯坤坡坬 坬坯坧坩坣 坯坦 坡坧坲坥坥坭坥坮坴 坡坮坤 坮坯坮坣坯坮坴坩坮坧坥坮坣坹圮 Notre Dame
Journal of Formal Logic圬 圴圳在圲圩场圹圵坻圱圲圷圬 圲地地圲圮
坌圮 坈坵坭坢坥坲坳坴坯坮坥圮 坚坯坬坩坮 坡坮坤 坐坩坺坺坩场 坄坥圌坮坩坮坧 坮坥坣坥坳坳坩坴坹 坦坲坯坭 坮坯坮坣坯坮坴坩坮坧坥坮坣坹 Erken-
ntnis圬 圷圸场圱圲圷圵坻圱圳地圲圬 圲地圱圳圮
坁圮 坋坵坤坩坮坯坶圮 坎坥坩坧坨坢坯坲坨坯坯坤 坆坲坡坭坥 坐坲坯坤坵坣坴 KK 坉坮 坒圮 均坯坲圓坥圬 坂圮 坋坯坯坩圬 坁圮 坋坵坲坵坣坺
在坥坤坳圮圩圬 Advances in Modal Logic圬 坖坯坬圮 圱地圬 坰坡坧坥坳 圳圷圳圭圳圸圶圬 圲地圱圴圮
坓圮 坋坵坨坮圮 坍坩坮坩坭坡坬 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣圮 Notre Dame Journal of Formal Logic
圳圶在圲圩场圲圳地坻圲圳圴圬 圱圹圹圵圮
坻 圱圱圳 坻
坃圮 坉圮 坌坥坷坩坳 坡坮坤 坈圮 坌坡坮坧坦坯坲坤圮 Symbolic Logic 坄坯坶坥坲圬 坎坥坷 坙坯坲坫圬 圱圹圳圲圮
坆圮 坌坩坵圬 坊圮 坓坥坬坩坧坭坡坮圬 坡坮坤 坐圮 均坩坲坡坲坤圮 坌坯坧坩坣坡坬 坄坹坮坡坭坩坣坳 坯坦 坂坥坬坩坥坦 坃坨坡坮坧坥 坩坮 坴坨坥
坃坯坭坭坵坮坩坴坹Synthese圬 坖坯坬圮 圱圹圱圬 坉坳坳坵坥 圱圱圬 坰坰圮 圲圴地圳坻圲圴圳圱圬 圲地圱圴圮
坍圮 坍坡 坡坮坤 坋圮 坓坡坮坯圮 坈坯坷 坴坯 坕坰坤坡坴坥 坎坥坩坧坨坢坯坲坨坯坯坤 坍坯坤坥坬坳圮 坉坮 坄圮 均坲坯坳坳坩 坡坮坤 坏圮
坒坯坹 坡坮坤 坈圮 坈坵坡坮坧 在坥坤坳圮圩圬 LORI 2013圬 坖坯坬圮 圸圱圹圶 坯坦 LNCS圬 坓坰坲坩坮坧坥坲圬 坈坥坩坤坥坬坢坥坲坧圬
坰坡坧坥坳 圲地圴圭圲圱圷圬 圲地圱圳圮
坊圮 坍坡坲坣坯坳圮 坎坥坡坲坬坹 坥坶坥坲坹 坮坯坲坭坡坬 坭坯坤坡坬 坬坯坧坩坣 坩坳 坰坡坲坡坮坯坲坭坡坬圮 坥坣坨坮坩坣坡坬 坒坥坰坯坲坴圬
坄坥坰坡坲坴坭坥坮坴 坯坦 坍坡坴坨坥坭坡坴坩坣坳圬 坉坮坳坴坩坴坵坴坯 坓坵坰坥坲坩坯坲 坔坣坮坩坣坯圬 圲地地圴圮
坊圮 坍坣坃坡坲坴坨坹圮 坆坩坲坳坴圭坏坲坤坥坲 坴坨坥坯坲坩坥坳 坯坦 坩坮坤坩坶坩坤坵坡坬 坣坯坮坣坥坰坴坳 坡坮坤 坰坲坯坰坯坳坩坴坩坯坮坳圮 Machine
Intelligence圬 圹场圱圲圹坻圱圴圷圬 圱圹圷圹圮
坒圮 坍坯坮坴坡坧坵坥圮 坕坮坩坶坥坲坳坡坬 坧坲坡坭坭坡坲圮 Theoria圬 坖坯坬圮 圳圶圬 坰坡坧坥坳 圳圷圳坻圳圹圸圬 圱圹圷地圮
坈圮 坍坯坮坴坧坯坭坥坲坹 坡坮坤 坒圮 坒坯坵坴坬坥坹圮 坃坯坮坴坩坮坧坥坮坣坹 坡坮坤 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坢坡坳坥坳 坦坯坲 坮坯坲坭坡坬
坭坯坤坡坬 坬坯坧坩坣坳圮 Logique et Analyse圬 坖坯坬圮 圹圬 坰坡坧坥坳 圳圱圸坻圳圲圸圬 圱圹圶圶圮
坈圮 坍坯坮坴坧坯坭坥坲坹 坡坮坤 坒圮 坒坯坵坴坬坥坹 坎坯坮圭坣坯坮坴坩坮坧坥坮坣坹 坡坸坩坯坭坳 坦坯坲 S4 坡坮坤 S5Logique
et Analyse圬 坖坯坬圮 圱圱圬 坰坡坧坥坳 圴圲圲坻圴圲圸圬 圱圹圶圸圮
坈圮 坍坯坮坴坧坯坭坥坲坹 坡坮坤 坒圮 坒坯坵坴坬坥坹 坍坯坤坡坬 坲坥坤坵坣坴坩坯坮 坡坸坩坯坭坳 坩坮 坥坸坴坥坮坳坩坯坮坳 坯坦 S1
Logique et Analyse圬 坖坯坬圮 圱圱圬 坰坡坧坥坳 圴圹圲坻圵地圱圬 圱圹圶圸圮
坈圮 坍坯坮坴坧坯坭坥坲坹 坡坮坤 坒圮 坒坯坵坴坬坥坹圮 坍坯坤坡坬坩坴坩坥坳 坩坮 坡 坳坥坱坵坥坮坣坥 坯坦 坮坯坲坭坡坬 坮坯坮圭坣坯坮坴坩坮坧坥坮坣坹
坭坯坤坡坬 坳坹坳坴坥坭坳圮 Logique et Analyse圬 圱圲场圲圲圵坻圲圲圷圬 圱圹圶圹圮
坙圮 坍坯坳坥坳圬 坄圮 坄坯坬坥坶圬 坡坮坤 坊圮 坈坡坬坰坥坲坮圮 坃坨坥坡坴坩坮坧 坨坵坳坢坡坮坤坳 坡坮坤 坯坴坨坥坲 坳坴坯坲坩坥坳场
坣坡坳坥 坳坴坵坤坹 坩坮 坫坮坯坷坬坥坤坧坥圬 坡坣坴坩坯坮圬 坡坮坤 坣坯坭坭坵坮坩坣坡坴坩坯坮圮 Distributed Computing
圱在圳圩场圱圶圷坻圱圷圶圬 圱圹圸圶圮
坅圮 坏坲圠坬坯坷坳坫坡圮 坌坯坧坩坣 坦坯坲 坲坥坡坳坯坮坩坮坧 坡坢坯坵坴 坫坮坯坷坬坥坤坧坥圮 Zeitschr. f. math. Logik und
Grundlagen d. Math., 坖坯坬圮 圳圵圬 圵圵圹坻圵圶圸圬 圱圹圸圹圮
坻 圱圱圴 坻
坅圮 坐坡坣坵坩坴圮 坎坥坩坧坨坢坯坲坨坯坯坤 坓坥坭坡坮坴坩坣坳 坦坯坲 坍坯坤坡坬 坌坯坧坩坣场 坁坮 坉坮坴坲坯坤坵坣坴坩坯坮圮 http:
//web.pacuit.org/papers/nbhdesslli.pdf圬 坅坓坓坌坌坉 坌坥坣坴坵坲坥圬 圲地地圷圮
坒圮 坐坥坴坲坩坣坫 坡坮坤 坆圮 坂坡坣坣坨坵坳圮 坅坸坴坥坮坤坩坮坧 坴坨坥 坫坮坯坷坬坥坤坧坥圭坢坡坳坥坤 坡坰坰坲坯坡坣坨 坴坯 坰坬坡坮坮坩坮坧
坷坩坴坨 坩坮坣坯坭坰坬坥坴坥 坩坮坦坯坲坭坡坴坩坯坮 坡坮坤 坳坥坮坳坩坮坧圮 坉坮 KR圬 坰坡坧坥坳 圶圱圳坻圶圲圲圬 圲地地圴圮
坃圮 坐坩坺坺坩圮 坃坯坮坴坩坮坧坥坮坣坹 坬坯坧坩坣坳 坡坮坤 坰坲坯坰坯坳坩坴坩坯坮坡坬 坱坵坡坮坴坩圌坣坡坴坩坯坮坳圮 Manuscrito圬 圲圲场圲圸圳坻
圳地圳圬 圱圹圹圹圮
坃圮 坐坩坺坺坩圮 坁 坬坯坧坩坣 坯坦 坣坯坮坴坩坮坧坥坮坣坹 坷坩坴坨 坡 坰坲坯坰坯坳坩坴坩坯坮坡坬 坣坯坮坳坴坡坮坴圮 Logic and Philosophy
in Italy圬 坰坡坧坥坳 圱圴圱坻圱圵圴圬 圲地地圶圮
坃圮 坐坩坺坺坩圮 坎坥坣坥坳坳坩坴坹 坡坮坤 坲坥坬坡坴坩坶坥 坣坯坮坴坩坮坧坥坮坣坹 Studia Logica圬 圸圵在圳圩场圳圹圵坻圴圱地圬 圲地地圷圮
坊圮 坐坬坡坺坡圮 坌坯坧坩坣坳 坯坦 坰坵坢坬坩坣 坣坯坭坭坵坮坩坣坡坴坩坯坮坳圮 坉坮 Proc. of the 4th ISMIS圬 坰坡坧坥坳 圲地圱坻圲圱圶圮
坏坡坫 坒坩坤坧坥 坎坡坴坩坯坮坡坬 坌坡坢坯坲坡坴坯坲坹圬 圱圹圸圹圮
坊圮 坐坬坡坺坡圮 坌坯坧坩坣坳 坯坦 坰坵坢坬坩坣 坣坯坭坭坵坮坩坣坡坴坩坯坮坳圮 Synthese圬 圱圵圸在圲圩场 圱圶圵坻圱圷圹圬 圲地地圷圮 坒坥坰坲坩坮坴
坯坦 坐坬坡坺坡圧坳 圱圹圸圹 坷坯坲坫坳坨坯坰 坰坡坰坥坲圮
坒圮 坒坡坭坡坮坵坪坡坭 坡坮坤 坓圮 坐圮 坓坵坲坥坳坨圮 坄坥坣坩坤坡坢坩坬坩坴坹 坯坦 坣坯坮坴坥坸坴圭坥坸坰坬坩坣坩坴 坳坥坣坵坲坩坴坹 坰坲坯坴坯坣坯坬坳圮
Journal of Computer Security圬 圱圳在圱圩场 圱圳圵坻圱圶圵圬 圲地地圵圮
坒圮 坒坡坭坡坮坵坪坡坭 坡坮坤 坓圮 坐 坓坵坲坥坳坨圮 坄坥坣坩坤坩坮坧 坫坮坯坷坬坥坤坧坥 坰坲坯坰坥坲坴坩坥坳 坯坦 坳坥坣坵坲坩坴坹 坰坲坯坴坯圭
坣坯坬坳圮 坉坮 TARK’05圬 坰坰圮 圲圱圹坻圲圳圵圬 圲地地圵圮
坒圮 坒坥坩坴坥坲圮 Knowledge in Action: Logical Foundations for Specifying and Implement-
ing Dynamical Systems圮 坔坨坥 坍坉坔 坐坲坥坳坳圬 圲地地圱圮
坄圮 坓坣坯坴坴圮 坁坤坶坩坣坥 坯坮 坭坯坤坡坬 坬坯坧坩坣圮 坉坮 坋圮 坌坡坭坢坥坲坴在坥坤坳圮圩圬 Philosophical Problems in
Logic: Some Recent Developments圬 坰坡坧坥坳 圱圴圳坻圱圷圳圬 圱圹圷地圮
坋圮 坓坥坧坥坲坢坥坲坧圮 Classical Propositional Operators 坏坸坦坯坲坤圬 坃坬坡坲坥坮坤坯坮 坐坲坥坳坳圬 圱圹圸圲圮
坔圮 坓坭坩坬坥坹 坒坥坬坡坴坩坶 坎坥坣坥坳坳坩坴坹 Journal of Symbolic Logic圬 圲圸圬 圱圱圳圭圱圳圴圬 圱圹圶圳圮
坃圮 坓坴坥坩坮坳坶坯坬坤圮 坁 坮坯坴坥 坯坮 坬坯坧坩坣坳 坯坦 坩坧坮坯坲坡坮坣坥 坡坮坤 坢坯坲坤坥坲坳圮 Notre Dame Journal of
Formal Logic圬 圴圹在圴圩场圳圸圵坻圳圹圲圬 圲地地圸圮
坻 圱圱圵 坻
坁圮 坕坲坱坵坨坡坲坴圮 坂坡坳坩坣 坍坡坮坹圭坶坡坬坵坥坤 坌坯坧坩坣圮 坉坮 坄圮 坍圮 均坡坢坢坡坹 坡坮坤 坆圮 均坵坥坮坴坨坮坥坲 在坥坤坳圮圩圬
Handbook of Philosophical Logic圬 圲坮坤 坅坤坩坴坩坯坮圬 坖坯坬圮 圲圬 坋坬坵坷坥坲圬 坄坯坲坤坲坥坣坨坴圬 坰坰圮
圲圴圹坻圲圹圶圬 圲地地圲圮
坊圮 坶坡坮 坂坥坮坴坨坥坭圮 Logical dynamics of information and interaction圮 坃坡坭坢坲坩坤坧坥圬 坕坋
圻 坎坥坷 坙坯坲坫场 坃坡坭坢坲坩坤坧坥 坕坮坩坶坥坲坳坩坴坹 坐坲坥坳坳圬 圲地圱圱圮
块圮 坡坮 坤坥坲 坈坯坥坫 坡坮坤 坁圮 坌坯坭坵坳坣坩坯圮 坉坧坮坯坲坥 坡坴 坹坯坵坲 坰坥坲坩坬 圭 坴坯坷坡坲坤坳 坡 坬坯坧坩坣 坦坯坲 坩坧坮坯圭
坲坡坮坣坥圮 Proc. of 2nd AAMAS圬 坁坃坍圬 坰坰圮 圱圱圴圸坻圱圱圴圹圬 圲地地圳圮
块圮 坶坡坮 坤坥坲 坈坯坥坫 坡坮坤 坁圮 坌坯坭坵坳坣坩坯圮 坬坯坧坩坣 坦坯坲 坩坧坮坯坲坡坮坣坥圮 Electronic Notes in
Theoretical Computer Science圬 圸圵在圲圩场圱圱圷坻圱圳圳圬 圲地地圴圮
坈圮 坶坡坮 坄坩坴坭坡坲坳坣坨圮 坃坯坭坭坥坮坴坳 坴坯 坠坌坯坧坩坣坳 坯坦 坰坵坢坬坩坣 坣坯坭坭坵坮坩坣坡坴坩坯坮坳圧圮 Synthese
圱圵圸在圲圩场圱圸圱坻圱圸圷圬 圲地地圷圮
坈圮 坶坡坮 坄坩坴坭坡坲坳坣坨圬 块圮 坶坡坮 坤坥坲 坈坯坥坫圬 坡坮坤 坂圮 坋坯坯坩圮 Dynamic Epistemic Logic圬 坖坯坬圮
圳圳圷 坯坦 Synthese Library圮 坓坰坲坩坮坧坥坲圬 圲地地圷圮
均圮 坈圮 坶坯坮 块坲坩坧坨坴圮 An Essay in Modal Logic. 坎坯坲坴坨 坈坯坬坬坡坮坤圬 坁坭坳坴坥坲坤坡坭圬 圱圹圵圱圮
均圮 坈圮 坶坯坮 块坲坩坧坨坴圮 坄坥坯坮坴坩坣 坌坯坧坩坣圮 Mind圬 坖坯坬圮 坌坘圬 坎坯圮 圲圳圷圬 圱圹圵圱圮
坙圮 坡坮坧 坡坮坤 坑圮 坃坡坯圮 坏坮 坡坸坩坯坭坡坴坩坺坡坴坩坯坮坳 坯坦 坰坵坢坬坩坣 坡坮坮坯坵坮坣坥坭坥坮坴 坬坯坧坩坣圮 Synthese
圱圹地在圱坓圩场圱地圳坻圱圳圴圬 圲地圱圳圮
坙圮 坡坮坧 坡坮坤 坊圮 坆坡坮圮 坋坮坯坷坩坮坧 坴坨坡坴圬 坫坮坯坷坩坮坧 坷坨坡坴圬 坡坮坤 坰坵坢坬坩坣 坣坯坭坭坵坮坩坣坡坴坩坯坮场
坐坵坢坬坩坣 坡坮坮坯坵坮坣坥坭坥坮坴 坬坯坧坩坣 坷坩坴坨 坋坶 坯坰坥坲坡坴坯坲坳圮 坉坮 Proc. of 23rd IJCAI圬 坰坡坧坥坳
圱圱圴圷坻圱圱圵圴圬 圲地圱圳圮
坙圮 块坡坮坧 坡坮坤 坊圮 坆坡坮圮 坃坯坮坤坩坴坩坯坮坡坬坬坹 坫坮坯坷坩坮坧 坷坨坡坴圮 坉坮 Advances in Modal Logic
坯坬圮 圱地圬 坰坡坧坥坳 圵圶圹坻圵圸圷圬 圲地圱圴圮
坙圮 块坡坮坧圬 坆圮 坓坩坥坴坳坭坡圬 坡坮坤 坊圮 坶坡坮 坅坩坪坣坫圮 坌坯坧坩坣 坯坦 坩坮坦坯坲坭坡坴坩坯坮 圍坯坷 坯坮 坣坯坭坭坵坮坩坣坡坴坩坯坮
坣坨坡坮坮坥坬坳圮 坉坮 坁坮坤坲坥坡 坏坭坩坣坩坮坩圬 坓坥坢坡坳坴坩坡坮 坓坡坲坤坩坮坡圬 坡坮坤 块坡坭坢坥坲坴坯 坖坡坳坣坯坮坣坥坬坯坳圬
坥坤坩坴坯坲坳圬 Declarative Agent Languages and Technologies VIII圬 坖坯坬圮 圶圶圱圹 坯坦 Lecture
Notes in Computer Science圬 坰坡坧坥坳 圱圳地坻圱圴圷圮 坓坰坲坩坮坧坥坲 坂坥坲坬坩坮 坈坥坩坤坥坬坢坥坲坧圬 圲地圱圱圮
坻 圱圱圶 坻
均圮 块坨坥坥坬坥坲圮 坁均坍 坂坥坬坩坥坦 坒坥坶坩坳坩坯坮 坩坮 坍坯坮坯坴坯坮坥 坍坯坤坡坬 坌坯坧坩坣坳圮 Proc. of LPAR 2010
圲地圱地圮
坅圮 坚坯坬坩坮圮 坃坯坭坰坬坥坴坥坮坥坳坳 坡坮坤 坤坥圌坮坡坢坩坬坩坴坹 坩坮 坴坨坥 坬坯坧坩坣 坯坦 坮坯坮坣坯坮坴坩坮坧坥坮坣坹 Notre Dame
Journal of Formal Logic圬 圴地在圴圩场圵圳圳坻圵圴圷圬 圱圹圹圹圮
坅圮 坚坯坬坩坮圮 坉坮圌坮坩坴坡坲坹 坥坸坰坲坥坳坳坩坢坩坬坩坴坹 坯坦 坮坥坣坥坳坳坩坴坹 坩坮 坴坥坲坭坳 坯坦 坣坯坮坴坩坮坧坥坮坣坹 坉坮 坋坲坩坳坴坩坮坡
坓坴坲坩坥坧坮坩坴坺圬 坥坤坩坴坯坲圬 Proceedings of the Sixth ESSLLI Student Session圬 坰坡坧坥坳 圳圲圵坻
圳圳圴圬 圲地地圱圮
坅圮 坚坯坬坩坮圮 坓坥坱坵坥坮坴 坬坯坧坩坣 坯坦 坡坲坩坴坨坭坥坴坩坣 坤坥坣坩坤坡坢坩坬坩坴坹Vestnik Moskovskogo Universiteta
坓坥坲坩坹坡 圱场 坍坡坴坥坭坡坴坩坫坡圬 坍坥坫坨坡坮坩坫坡圬 坎坯圮 圶圬 坰坰圮 圴圳坻圴圸圬 圶圵圬 圲地地圱圮
坅圮 坚坯坬坩坮圮 坓坥坱坵坥坮坴坩坡坬 坲坥圍坥坸坩坶坥 坬坯坧坩坣坳 坷坩坴坨 坮坯坮坣坯坮坴坩坮坧坥坮坣坹 坯坰坥坲坡坴坯坲圮 Mathematical
Notes圬 圷圲在圶圩场圷圸圴坻圷圹圸圬 圲地地圲圮 在坴坲坡坮坳坬坡坴坩坯坮 坦坲坯坭 坍坡坴坥坭坡坴坩坣坨坥坳坫坩坥 坚坡坭坥坴坫坩圬 坒坵坳坳坩坡坮
坁坣坡坤坥坭坹 坯坦 坓坣坩坥坮坣坥坳圬 圷圲在圶圩场 圸圵圳坻圭圸圶圸圬 圲地地圲圮圩
坒圮 坚坵坢坥坲圮 坓坥坭坡坮坴坩坣坳 坲坥坳坴坲坩坣坴坩坯坮坳 坯坮 坣坥坲坴坡坩坮坳 坣坯坭坰坬坥坭坥坮坴坩坺坥坲坳圮 坉坮 坓圮 坈坡坴坴坯坲坩 坡坮坤 坋圮
坉坮坯坵坥 在坥坤坳圮圩圬 Proceedings of the 13th International Congress of Linguists圬 坔坯坫坹坯圬
圱圹圸圲圮
坻 圱圱圷 坻
坻 圱圱圸 坻
A一些
一些
A.0.1 .S.
uS一个filteru甒 畐S
uSu;
u交下XuYu,XYu;
uXuXYS,Yu.
uS一个proper filteruSu
/u.
uS一个ultrafilteruS一个u
XS,XuSXu.
A.0.2 .sSπssprincipal
ultrafilterπsXSsX
A.0.3 ML.S, R, V ML-
sSMLRs
Rs
A.0.4. s甲 畍ueML-, s2
ue, πsue2.3.1
.坂坬坡坣坫坢坵坲坮 et al. 在圲地地圱圬 坐坲坯坰圮 圲圮圵圹圬 坐坲坯坰圮 圲圮圶圱圩
αFOLα2-下不, s,, t使
, s2, t, s α且仅, t α
坻 圱圱圹 坻
一些
A.0.5 .αFOL.α价于ML-且仅
α2-下不
.在坂坬坡坣坫坢坵坲坮 et al.圬 圲地地圱圬 坔坨坭圮 圲圮圶圸圩
坻 圱圲地 坻
B
B.1 van der Hoek &Lomuscio (2003)
圵圮圳圮圲 Ig 畎畃界
I2I3 I4RI Sub
畎畃界 畎畃界 坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圳圩
Ig
B.1.1. 畎畃界 圁在χϕ圁在χϕϕ
.
i圩 在χϕ甤 町χ甡 町ϕTAUT
ii圩 圁在χϕχ甡 町ϕRE,i
iii圩 圁在χ甡 町ϕχ甡 町ϕ圩 圁Equ
iv圩 圁在χϕ圁在χ甡 町ϕSub,ii,iii
v圩 在χϕ甤 町χ甡 町ϕTAUT
vi圩 圁在χϕ圁在χ甡 町ϕ圩 在v,iiv
vii圩 圁在χ甡 町ϕ圁在χ甡 町ϕϕCon
viii圩 圁在χϕ圁在χϕϕSub,vii,iv,vi
ix圩 圁ϕϕEqu
x圩 圁在χϕ圁在χϕϕSub,viii,ix
B.1.2. 畎畃界 ϕ圁在ϕψ圁在ϕχ
坻 圱圲圱 坻
.
i圩 在ϕψ甤 町ϕ甡 町ψTAUT
ii圩 圁在ϕψϕ甡 町ψRE,i
iii圩 圁在ϕ甡 町ψϕ甡 町ψ圩 圁Equ
iv圩 圁在ϕψ圁在ϕ甡 町ψSub,ii,iii
v圩 在ϕχ甤 町ϕ甡 町χTAUT
vi圩 圁在ϕχ圁在ϕ甡 町χ圩 在v,iiv
vii圩 圁ϕ圁在ϕ甡 町ψ圁在ϕ甡 町χ圩 圁Dis
viii圩 圁ϕ圁在ϕψ圁在ϕχSub,vii,iv,vi
B.1.3. I2 畎畃界
.
i圩 圁ϕ圁在ϕψ圁在ϕ畞 町ϕψ圩圩 坂圮圱圮圲
ii圩 圁ψ圁在ψϕ圁在ψϕ坂圮圱圮圲
iii圩 圁在ϕψ圁在ψϕTAUT,RE
iv圩 圁ψ圁在ϕψ圁在ψϕSub,ii,iii
v圩 在ψϕϕ畞 町ϕψTAUT
vi圩 圁在ψϕ圁在ϕ畞 町ϕψ圩圩 RE,v
vii圩 圁ψ圁在ϕψ圁在ϕ畞 町ϕψ圩圩 Sub,iv,vi
viii圩 圁在ϕ畞 町ϕψ圩圩 圁在ϕ畞 町ϕψ圩圩 ϕψ坂圮圱圮圱
ix圩 圁在ϕψϕψ圩 圁Equ
x圩 圁在ϕ畞 町ϕψ圩圩 圁在ϕ畞 町ϕψ圩圩 圁在ϕψSub,viii,ix
xi圩 圁ϕψ圁在ϕψ
在圁在ϕ畞 町ϕψ圩圩 圁在ϕ畞 町ϕψ圩圩圩 在i,vii
xii圩 圁ϕψ圁在ϕψ圩 在x,xi
xiii圁在ϕψ甡 町ϕ畟 町ψxii,TAUT
坻 圱圲圲 坻
坂圮圱 坶坡坮 坤坥坲 坈坯坥坫 圦 坌坯坭坵坳坣坩坯 在圲地地圳圩
B.1.4. I3 畎畃界
.畎畃界 ϕ畞 町圁在χ1
ϕ圁在ϕψ畞 町圁在χ2ϕψ圩圩 甡 町圁在χ1ψ畎畃界 ϕ畞 町圁在χ1
ϕ圁在ϕψψ一个二个
?二个一个
I3 从两个
一个
i圩 圁ϕψ圁在ϕψI
ii圩 圁在ϕψ圁在χ1ψ圁在ψϕχ1I
iii圩 圁ϕψ圁在χ1ψ圁在ψϕχ1圩 在i,ii
iv圩 圁在ψϕχ1圁在ψϕχ1圁在ϕχ1坂圮圱圮圱
v圩 圁ϕψ圁在χ1ψ圁在ψϕχ1圁在ϕχ1圩 在iii,iv
vi圩 圁在ϕψ圁在在ϕψχ2圁在ϕψχ1坂圮圱圮圲
vii圩 圁在ϕψ畞 町圁在在ϕψχ2圁在ϕψχ1圩 在vi
viii圩 圁在ψϕχ1圁在ϕψχ1TAUT,RE
ix圩 圁在ϕψ畞 町圁在在ϕψχ2圁在ψϕχ1圩 在vii,viii
x圩 圁ϕψ圁在χ1ψ圁在ϕψ畞 町圁在在ϕψχ2
圁在ϕχ1圩 在v,ix
xi圩 圁ϕψ畞 町圁在ϕχ1圁在ϕψ畞 町圁在在ϕψχ2
甡 町圁在χ1ψ圩 在x
xii圩 圁在χ1ϕ圁在ϕχ1TAUT,RE
xiii圩 圁在χ2ϕψ圩圩 圁在在ϕψχ2TAUT,RE
xiv圩 圁ϕψ畞 町圁在χ1ϕ圁在ϕψ畞 町圁在χ2ϕψ圩圩
甡 町圁在χ1ψ圩 在xi,xii,xiii
xv圩 圁ϕ畞 町圁在χ1ϕ圁在ϕψψ?
xvi圩 圁ϕ畞 町圁在χ1ϕ圁在ϕψ畞 町圁在χ2ϕψ圩圩
甡 町圁在χ1ψ圩 在xiv,xv
坻 圱圲圳 坻
二个?
iχ1ϕϕ甡 町χ1TAUT
ii圩 圁χ1ϕ圁在ϕ甡 町χ1RE,i
iii圩 圁在χ1ϕχ1ϕ圩 圁Equ
iv圩 圁在χ1ϕ圁在ϕ甡 町χ1Sub,ii,iii
v圩 圁ϕ圁在ϕ甡 町χ1圁在ϕχ1ϕ圩圩 圁Dis
vi圩 圁ϕ畞 町圁在ϕ甡 町χ1圁在ϕχ1ϕ圩圩 在v
vii圩 圁ϕ畞 町圁在χ1ϕ圁在ϕχ1ϕ圩圩 Sub,iv,vi
viii圩 圁ϕ圁在ϕχ1ϕ圩圩 畞 町圁在χ1ϕ圁在ϕψ
ψ..
ix圩 圁ϕ畞 町圁在χ1ϕ圁在ϕψψvii,viii
B.1.5. I4 畎畃界
.坂圮圱圮圱圬
畎畃界 χ甡 町圁在χψ畟 町圁在χ畞 町ψ
B.1.6. RI 畎畃界
.ϕGENϕ畠 町χ甡 町圁在χϕ圩圬
圁在χϕχϕ畠 町ϕ甡 町χ使GEN圁圬
圁在ϕ甡 町χ圩圮 Con圁在ϕ甡 町χ圁在ϕ甡 町χχ
MP 圁在ϕ甡 町χχ圁在χϕ圁在ϕ甡 町χ
χχEqu 圁在χϕχ
B.1.7. Sub 畎畃界
.圳圮圱圮圳
坻 圱圲圴 坻
坂圮圲 坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩
B.2 Steinsvold (2008)
畎畃界畓坓坴坥坩坮坳坶坯坬坤 LB 含同
LB 畎畃界畓
ϕψ圁在ϕψ畎畃界 坂圮圱圮圳
畎畃界畓
B.2.1. N,Z,R畎畃界畓
.TAUTGEN圁圬 圁Equ 和命坂圮圱圮圳圮
B.2.2. WM 畎畃界畓
.ϕϕψGEN圁圬 圁在圁ϕϕψ圩圮 圁在圁ϕ
ϕψ圁在圁ϕϕ在圁ϕϕψT圁在圁ϕϕ在圁ϕϕψ
w圁圴ϕ圁圁ϕϕ坂圮圱圮圳 圁圁ϕϕ
圁在圁ϕϕ圩圮 ϕϕψ
LB 畎畃界畓话说畎畃界畓
LB Con圬 圁Dis
Tw圁圴圬 GENRELB LB
B.2.3. ϕϕψ,ϕϕψ.
.WM
B.2.4. Con LB
.
i圩 在在χϕχϕ圩圩 ϕTAUT
ii圩 圁在在χϕχϕ圩圩 ϕSub,i
iii圩 圁在χϕ圁在χϕ圁在在χϕχϕ圩圩 R
iv圩 圁在χϕ圁在χϕϕSub,ii,iii
坻 圱圲圵 坻
B.2.5. Dis LB
.
iϕϕχTAUT
ii圩 圁ϕϕϕχ圩 在i
iii圩 圁ϕϕ圁在ϕχ坂圮圲圮圳,ii
ivϕϕψTAUT
v圩 圁ϕ畞 町ϕ圁在ϕψ圩 在iv,iiii
vi圩 圁ϕ畞 町ϕ圁在ϕψ圩 在v,Z
vii圩 圁ϕ圁在ϕψ圁在ϕχ圩 在iii,vi
B.2.6. TLB
.
iϕϕψψTAUT
ii圩 圁在ϕϕψ圩圩 ϕϕψ圩圩 ψi
iii圩 圁在ϕϕψ圩圩 ϕϕψ圩圩 ψ坂圮圲圮圳,ii
iv圩 圁ϕ圁在ϕψ圁在ϕϕψ圩圩 R
v圩 圁ϕ圁在ϕψϕϕψψiii,iv
viϕψ甡 町ψTAUT
vii圩 圁ϕψ畞 町ϕψψvi,iiii
viii圩 圁在ϕψ畞 町ϕψψvii,Z
ix圩 圁ϕ圁在ϕψϕ畞 町ϕψψviii
x圩 圁ϕ圁在ϕψϕψv,ix
B.2.7. w圁圴 LB
坻 圱圲圶 坻
坂圮圲 坓坴坥坩坮坳坶坯坬坤 在圲地地圸圩
.
i圩 圁ϕϕϕTAUT
ii圩 圁ϕϕ圁圁ϕ坂圮圲圮圳,i
iii圩 圁ϕ畞 町ϕϕTAUT
iv圩 圁ϕ畞 町ϕϕiii,Z
v圩 圁ϕ畞 町ϕ圁圁ϕ坂圮圲圮圳,iv
vi圩 圁ϕ畞 町ϕ圁圁ϕv,Z
vii圩 圁ϕ圁圁ϕii,vi
B.2.8. GENLB
.ϕϕϕ甤 甾Sub ϕ
NTAUTϕ
B.2.9. RELB
.Sub
坻 圱圲圷 坻
坻 圱圲圸 坻
C一些
C.0.10. -一个
.三个
S, R, V sS, s, s
Zw, wwSZZ一个
圁圭
sSs, sZZwZw
pPwVp且仅wVpInvwRt
t1, t2使wRt1, wRt2t1, t2/Zt0t使wRt0tZt0
tS-Zig-Zag
S, R, V ,0S0, R0, V 0sS, s0S0
, s0, s00, s0, s0不交
00 S00, R00 , V 00 圁圭Z使sZs0Z0w, w0w0, w
ZZ0ZZ000 一个 圁圭
sZs0s, s0ZZ0s0, sZ0Z0
w, w0Z0w0, wZZInvpPw0V00p
且仅wV00ppPwV00p且仅w0V00p
InvwR00tt1, t2使wR00t1, wR00 t2t1, t2/Z0
t2, t1/Zw0Zw Z-Zagt0使w0R00t0t0Zt
tZ0t0-Zig-ZagZ-Zig
SM, RM, V M,SN, RN, V N,SO, RO, V O
s甲 畍, t , u 甲 畏, s, t,, t, u
, s, u
坻 圱圲圹 坻
一些
不交圁圭Z1使sZ1t
不交圁圭Z2使tZ2u不交
一个 圁圭Z使sZu
Zx, zxSM, z SO,ySN, xZ1y, yZ2z畧畛畦x1, x2
x1, x2SM, x1Z1x2畧畛畦z1, z2z1, z2SO, z1Z2z2畧畛畦x1, x2x1, x2SM,y1, y2
SN, y1Z2y2, x1Z1y1, x2Z1y2畧畛畦z1, z2z1, z2SO,y1, y2SN, y1Z1y2, y1Z2z1, y2Z2z2
sZ1ttZ2uZsZuZ
圁圭三个xSM, z SOxZzZ
ySN使xZ1y, yZ2z
Inv: Z1, Z2圁圭pPxVMp且 仅
yVNp且仅zVOp
-Zig: xRMx0x1, x2SM使xRMx1, xRMx2x1, x2/Z
z0SO使zROz0x0Zz0x1, x2/ZZ
x1, x2/Z1xZ1yZ1圁圭坚坩坧 y0, y1, y2SN使
yRNy0, yRNy1, yRNy2x0Z1y0, x1Z1y1, x2Z1y2x1, x2/Z, x1Z1y1, x2Z1y2
Zy1, y2/Z2yZ2zZ2圁圭坚坩坧
z0SO使zROz0y0Z2z0x0Z1y0, y0Z2z0
Zx0Zz0
-Zag: -Zig Z
圳圮圳圮圷
C.0.11.
+, sc, f s圩圩.
.
Zs, f s圩圩 sS+.
Z+畝 畍c一个 圁圭Z圁圭
坻 圱圳地 坻
InvpP+, s ppfs甩 畍c, fsp.
-ZigsR+tt1, t2使sR+t1, sR+t2t1, t2/Z
t0使fsRct0tZt0s /DsR+t1s圽 在t1, t0
1
sR+t2s圽 在t2, t0
2t1t2t1t2
sDsR+t圳圮圳圮圵圮圲fsRcftZ
tZft
-ZagfsRct0t0
1, t0
2使fsRct0
1, f sRct0
2t0
1, t0
2/Z
tS+使sR+ttZt0fsRct0和命圳圮圳圮圵圮圳
uS+使sR+ufu圩 圽 t0ZuZf uuZt0u
t
圴圮圳 圴圮圳圮圳 价于圳圮圳圮圳
C.0.12. 两个
1. s, t SciAgsRc
itt0Sc使tRc
it0tRc
is
2. s, t SciAgsRc
itχ使iχttRc
is
.t0Sc使tRc
it0在圱圩χ使iχt
在圲圩两个在圱圩 在圲圩
在圱圩 圽在圲圩 场 tRc
itRc
i
在圲圩 圽在圱圩 场 在圲圩χ0iχ0iχχ0t畧 畛 畦χ
χ0
1,甁 甁 甁 , χ0
n使χ0
1畞 甁 甁 畞 χ0
n甡 町χ且任j坛圱, n
iχ0
jiχχ0
jtGENiVn
j=1 χ0
j甡 町χ
iVn
j=1 χ0
j甡 町χt圳圮圱圮圵iχt
χ0iχ0iχχ0t畧畛畦χ
t0Sc使χ0χ0圁在χχ0t畧 畛 畦χ畧 甒 t0Rc
i
tRc
it0ψt0在圱圩
坻 圱圳圱 坻
一些
坻 圱圳圲 坻
为了讨论每次
向周
负责
习上予了
见解
与他讨论
他一讨论每次讨论他也
习上
于他
访坈坡坮坳 坶坡坮 坄坩坴坭坡坲坳坣
专业坈坡坮坳 予了
一些坈坡坮坳 了一
一些
坢坹 者而坩坮
等等坈坡坮坳
坁坩坍坌 圲地圱圴 坅坓坓坌坌坉 圲地圱圴
有机坌坏坒坉坁圬坃坎坒坓圭坕坮坩坶坥坲坳坩坴圓坥 坤坥
坌坯坲坲坡坩坮坥 坐坥坴坡坲 坉坬坩坥坶坓坯坰坨坩坡 坋坮坩坧坨坴 坁坹坢坿坵坫坥
坏坺坧坿坵坮他们予了
坃坓坃
滔滔
坻 圱圳圳 坻
他们
坈坡坮坳 坶坡坮 坄坩坴坭坡坲坳坣坨圬 块坩坥坢坥 坶坡坮 坤坥坲 坈坯坥坫圬 坐坥坴坡坲 坉坬坩坥坶圬 坙坡坮坪坩坮坧
坡坮坧
坐坨坩坬坩坰坰坥 坂坡坬坢坩坡坮坩于他
一个
访
去印
坉坃坌坁圲地圱圵也一
弟弟他们一
他们他们任与
坻 圱圳圴 坻
稿
坛圱坝 坊坩坥 坆坡坮圬 坙坡坮坪坩坮坧 块坡坮坧 坡坮坤 坈坡坮坳 坶坡坮 坄坩坴坭坡坲坳坣坨圮 坃坯坮坴坩坮坧坥坮坣坹 坡坮坤 坋坮坯坷坩坮坧
块坨坥坴坨坥坲圮 The Review of Symbolic Logic圬 坃坡坭坢坲坩坧坥 坕坮坩坶坥坲坳坩坴坹 坐坲坥坳坳圬 坖坯坬坵坭坥 圸圬
坉坳坳坵坥 地圱圬 坰坡坧坥坳 圷圵圭圱地圷圬 坍坡坲坣坨 圲地圱圵圮
坛圲坝 坊坩坥 坆坡坮 坡坮坤 坈坡坮坳 坶坡坮 坄坩坴坭坡坲坳坣坨圮 坎坥坩坧坨坢坯坲坨坯坯坤 坃坯坮坴坩坮坧坥坮坣坹 坌坯坧坩坣圮 坉坮
Proceedings of 6th Indian Conference on Logic and its Applications (ICLA 2015)
坌坥坣坴坵坲坥 坎坯坴坥坳 坩坮 坃坯坭坰坵坴坥坲 坓坣坩坥坮坣坥圬 坖坯坬坵坭坥 圸圹圲圳圬 坰坡坧坥坳 圸圸圭圹圹圬 圲地圱圵圮 在坂坥坳坴 坐坡坰坥坲
坁坷坡坲坤圩
坛圳坝 坊坩坥 坆坡坮圬 坙坡坮坪坩坮坧 块坡坮坧 坡坮坤 坈坡坮坳 坶坡坮 坄坩坴坭坡坲坳坣坨圮 坁坬坭坯坳坴 坎坥坣坥坳坳坡坲坹 Ad-
vances in Modal Logic圬 坖坯坬坵坭坥 圱地圬 坰坡坧坥坳 圱圷圸圭圱圹圶圬 圲地圱圴圬 坃坯坬坬坥坧坥 坐坵坢坬坩坣坡坴坩坯坮坳圮
坛圴坝 坈坡坮坳 坶坡坮 坄坩坴坭坡坲坳坣坨圬 坊坩坥 坆坡坮圬 块坩坥坢坥 坶坡坮 坤坥坲 坈坯坥坫圬 坐坥坴坡坲 坉坬坩坥坶圮 坓坯坭坥
坅坸坰坯坮坥坮坴坩坡坬 坌坯坷坥坲 坂坯坵坮坤坳 坯坮 坆坯坲坭坵坬坡圭坳坩坺坥 坩坮 坍坯坤坡坬 坌坯坧坩坣圮 Advances in Modal
Logic圬 坖坯坬坵坭坥 圱地圬 坰坡坧坥坳 圱圳圹圭圱圵圷圬 圲地圱圴圬 坃坯坬坬坥坧坥 坐坵坢坬坩坣坡坴坩坯坮坳圮
坛圵坝 坙坡坮坪坩坮坧 块坡坮坧 坡坮坤 坊坩坥 坆坡坮圮 坃坯坮坤坩坴坩坯坮坡坬坬坹 坋坮坯坷坩坮坧 块坨坡坴圮 Advances in
Modal Logic圬 坖坯坬坵坭坥 圱地圬 坰坡坧坥坳 圵圶圹圭圵圸圷圬 圲地圱圴圬 坃坯坬坬坥坧坥 坐坵坢坬坩坣坡坴坩坯坮坳圮
坛圶坝 坙坡坮坪坩坮坧 块坡坮坧 坡坮坤 坊坩坥 坆坡坮圮 坋坮坯坷坩坮坧 坔坨坡坴圬 坋坮坯坷坩坮坧 块坨坡坴圬 坡坮坤 坐坵坢坬坩坣
坃坯坭坭坵坮坩坣坡坴坩坯坮场 坐坵坢坬坩坣 坁坮坮坯坵坮坣坥坭坥坮坴 坌坯坧坩坣 坷坩坴坨 坋坶 坏坰坥坲坡坴坯坲坳圬 坩坮 Proceedings
of 23rd International Joint Conference on Artificial Intelligence圬 坰坡坧坥坳 圱圱圴圷圭圱圱圵圴圬
圲地圱圳圬 坁坁坁坉 坰坲坥坳坳圮
坛圷坝 坙坡坮坪坩坮坧 块坡坮坧 坡坮坤 坊坩坥 坆坡坮圮 坅坰坩坳坴坥坭坩坣 坉坮坦坯坲坭坡坴坩坶坥坮坥坳坳圮 坔坯 坡坰坰坥坡坲 坩坮 坴坨坥
Proceedings of the Second Asian Workshop on Philosophical Logic圬 坓坴坵坤坩坡 坌坯坧坩坣坡
坌坩坢坲坡坲坹圬 坓坰坲坩坮坧坥坲圮
坛圸坝 坊坩坥 坆坡坮圮 坌坯坧坩坣坳 坯坦 坓坴坲坯坮坧 坎坯坮坣坯坮坴坩坮坧坥坮坣坹圮 坓坵坢坭坩坴坴坥坤圬 圲地圱圵圮
坻 圱圳圵 坻
坻 圱圳圶 坻
北京大学学位论文原创性声明和使用授权说明
原创性声明
  本人郑重声明: 所呈交的学位论文,是本人在导师的指导下,独立进行研究
工作所取得的成果。除文中已经注明引用的内容外,本论文不含任何其他个人或
集体已经发表或撰写过的作品或成果。对本文的研究做出重要贡献的个人和集体
,均已在文中以明确方式标明。本声明的法律结果由本人承担。
论文作者签名: 日期: 年 月 日
学位论文使用授权说明
(必须装订在提交学校图书馆的印刷本)
本人完全了解北京大学关于收集、保存、使用学位论文的规定,即:
按照学校要求提交学位论文的印刷本和电子版本;
学校有权保存学位论文的印刷本和电子版,并提供目录检索与阅览服
务,在校园网上提供服务;
学校可以采用影印、缩印、数字化或其它复制手段保存论文;
/□三年以后,在校园网上全文发布。
因某种特殊原因需要延迟发布学位论文电子版,授权学校□一年/□两年
(保密论文在解密后遵守此规定)
日期:
论文作者签名:
导师签名:
ResearchGate has not been able to resolve any citations for this publication.
ResearchGate has not been able to resolve any references for this publication.