模态逻辑-2020春季学期

第一周

power set 超集

tuple 元组/string 串

2-tuple is also ordered pair（有序对）

Injection 单射

Surjection 满射

Bijection 双射（既单射又满射）

cardinality 基数

countable 可数的

• finite
• countable infinite

Proposition 1

对一个非空集合M，以下等价（是自然数）

• M是可数集
• 存在满射f：→M
• 存在单射g：M→

Lemma 1

可数多个可数集的并，是可数集

 

Proposition 2

对任意n∈，n个可数集的并，是可数集

 

Lemma 2

如果∑是可数字母表，那么∑中字符串的集合∑*也是可数的

 

∑上所有长度为n的串的集合是∑^n（∑∪∑∪∑∪∑∪……{n个}）

∑上所有长度有穷的串的集合是∑*=∑^n

 

第二周

本周内容三个小节

1. Modal Language 模态语言
2. Relational Structure 关系结构
3. Kripke Semantics 克里普克语义

1.BNF规则定义模态语言（Backus-Naur Form）

 

模态相似类τ=（O，ρ）

O：模态算子的非空集合

ρ：定义算子的n元关系