Prefinitely Axiomatizable Modal and Intermediate Logics
Prefinitely Axiomatizable Modal and Intermediate Logics
复制标题
绝对公理化模态逻辑和中间逻辑
DOI：
10.1002/malq.19930390136
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
M. Kracht
中科院分区：
文献类型：
--
作者：
M. Kracht
一个逻辑Λ界定一个性质P，如果Λ的所有真扩张都有P，而Λ本身没有。我们在中间逻辑格和K4.3的正规扩张格中构造了约束有限公理化的逻辑和约束有限模型性质的逻辑。
A logic Λ bounds a property P if all proper extensions of Λ have P while Λ itself does not. We construct logics bounding finite axiomatizability and logics bounding finite model property in the lattice of intermediate logics and the lattice of normal extensions of K4.3.