Deontology of Compound Actions
Deontology of Compound Actions
复制标题
复合动作的道义论
DOI：
10.1007/s11225-018-9834-4
复制
发表时间：
--
期刊：
影响因子：
0.7
通讯作者：
Janusz
中科院分区：
文献类型：
--
作者：
Czelakowski;Janusz
本文作为该书的补充，从形式语言学的关系模型和形式结构出发，阐述了序列动作和复合动作的道义论。本文提出的语义结构在一定程度上模仿了[3]的内容，但涉及面更广。虽然目前的工作应被视为[3]的续集，但它是独立的，可以独立阅读。行为的许可与义务问题以逻辑体系的形式呈现出来。这个系统是语义定义，提供其预期的模型，其中的作用，各种类型的行动（原子，顺序和复合的）是强调。由于后果关系不是有限的，其他语义定义的变体的定义。重点是在有限系统中，只有有限的复合行动是允许的。一个适当的公理系统，它的定义。强完备性定理是中心结果。的作用的规范模型中的完整性定理的证明被强调。
This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this paper emulate to some extent the content of [3] but are more involved. Although the present work should be regarded as a sequel of [3] it is self-contained and may be read independently. The issue of permission and obligation of actions is presented in the form of a logical system. This system is semantically defined by providing its intended models in which the role of actions of various types (atomic, sequential and compound ones) is accentuated. Since the consequence relation is not finitary, other semantically defined variants of are defined. The focus is on the finitary system in which only finite compound actions are admissible. An adequate axiom system for it is defined. The strong completeness theorem is the central result. The role of the canonical model in the proof of the completeness theorem is emphasized.
登录
查看更多内容
行动模型
影响因子：
3.8
作者：
A. Stein;F. D. Vries;P. Schotman
通讯作者：
P. Schotman
行动的道义逻辑
影响因子：
0.7
作者：
K. Segerberg
通讯作者：
K. Segerberg
行动模型
DOI：
10.1007/978-94-009-6499-0_7
发表时间：
1985
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
K. Segerberg
通讯作者：
K. Segerberg
行动中的自由与执法
DOI：
10.1007/978-94-017-9855-6
发表时间：
2015
期刊：
Philosophical Books
影响因子：
--
作者：
J. Czelakowski
通讯作者：
J. Czelakowski
影响因子：
0.6
作者：
M. Nowakowska
通讯作者：
M. Nowakowska