Modalities and Quantification
Modalities and Quantification
复制标题
方式和量化
DOI：
10.2307/2268610
复制
发表时间：
1946
影响因子：
0.6
通讯作者：
R. Carnap
中科院分区：
文献类型：
--
作者：
R. Carnap
本文的目的是对我在逻辑模态研究中发现的一些结果进行综述。这些结果涉及：（1）语义系统，即，符号语言系统，其语义解释规则被规定;（2）对应的演算，即，（3）语义系统与相应演算之间的关系。要处理的语义系统如下：命题逻辑（PL），功能逻辑（FL），以及相应的模态系统，即模态命题逻辑（MPL）和模态功能逻辑（MFL）。
The purpose of this article is to give a survey of some results I have found in investigations concerning logical modalities. The results refer: (1) to semantical systems, i.e., symbolic language systems for which semantical rules of interpretation are laid down; (2) to corresponding calculi, i.e., syntactical systems with primitive sentences and a rule of inference; (3) to relations between a semantical system and the corresponding calculus. The semantical systems to be dealt with are the following: pro positional logic (PL), functional logic (FL), and the corresponding modal systems, viz. modal propositional logic (MPL) and modal functional logic (MFL).