1)tense Deontic logic道义时态逻辑
2)Dynamic Deontic Logic动态道义逻辑
1.Action、Assertion、Event and Actor——Some Basic Conceptions in Dynamic Deontic Logic;行动、断言、事件和主体——动态道义逻辑的几个基本概念
英文短句/例句
1.Action、Assertion、Event and Actor--Some Basic Conceptions in Dynamic Deontic Logic;行动、断言、事件和主体——动态道义逻辑的几个基本概念
2.Alethic Model、Deontic Model and The Classic System Of Deontic Logic;真性模态、道义模态和现代道义逻辑的经典系统
3.Theory of Dynamic Interpretation of Meaning:The Development of Logical Semantics;动态意义理论:逻辑语义学的继续发展
4.Elements of the Logic of Willing; Mally s Deontic logic;意愿的逻辑初步——马利的道义逻辑思想
5.A Logico-philosophical Approach to Metaphor-From the Perspective of Dynamic Conceptual Semantics;动态概念语义学对隐喻的逻辑——哲学研究
6.Denotational Semantics of Dynamic Fuzzy Logic Programming Language动态模糊逻辑程序设计语言的指称语义
7.Deontic Logic Is Not a Bad Logic: Consulting with Mr.Jin Cheng-guang;道义逻辑不是坏逻辑——与金承光先生商榷
8.The New Trend of Philosophy of Logic and Its Inspiration on the Study of Chinese Logic逻辑哲学的新动态及其对中国逻辑研究的启发
9.Ross Paradox and the Semantic Theory of Denotic Logic;罗斯悖论与标准道义逻辑的语义理论
10.Research and Verification on the Operational Semantics Model of DFL Programming Language动态模糊逻辑程序设计语言的操作语义模型及验证
11.Generalized Lattice-Valued Modal Logic System and Resolution Automated Reasoning Based on Lattice Implication Algebra;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究
12.Research and Applications on the Algebra Semantics Models of DFL Programming Language动态模糊逻辑程序设计语言的代数语义模型及应用研究
13.An Analysis of the Semantics of Paradox and an Application;逻辑悖论的语义动力学分析及其意义
14.the modal logic of obligation and permissibility.讨论义务与权容的模态逻辑。
15.On the Reduction of Deontic Logic and the Interrelated Problems;论道义逻辑系统的归约及其相关问题
16.Research on Operator Dynamic Fuzzy Logic System and Its Resolution算子动态模糊逻辑系统及其归结研究
17.On Political Significance and Logical Trap of Anti-globalization Movement;反全球化运动的政治意义与逻辑陷阱
18.Argumentation of logical meaning of "be" in text;论“be”动词在语篇中的逻辑意义
相关短句/例句
Dynamic Deontic Logic动态道义逻辑
1.Action、Assertion、Event and Actor——Some Basic Conceptions in Dynamic Deontic Logic;行动、断言、事件和主体——动态道义逻辑的几个基本概念
3)deontic logic道义逻辑
1.Research on the Dyadic Deontic Logic System DDFS;二元道义逻辑DDFS系统研究
2.Ross s paradox is the first "paradox" of deontic logic."罗斯悖论"是道义逻辑中的第一个"悖论",对此中外学者有过诸多研究,见解纷呈。
3.It is not applied in some actual domain immediately,which does not show that deontic logic has no application value.道义逻辑不是坏逻辑;道义逻辑不是因为实际应用而产生,它不能够即时的被法律逻辑所应用并不表明它毫无作用;即使是在应用领域同样可以有广阔的前景;在知识表达领域,在多智能主体系统领域都可以看到道义逻辑在发挥作用。
4)temporal logic时态逻辑
1.Formal description of properties of concurrency system by temporal logic;时态逻辑形式化描述并发系统性质
2.Automated trust negotiation based on temporal logic;基于时态逻辑的自动信任协商模型
3.Research on knowledge representation based on temporal logic;基于时态逻辑的知识表示研究
5)CTL temporal logicCTL时态逻辑
6)Interval temporal logic时段时态逻辑
1.Interval temporal logic based intrusion signatures(ISITL) is a high-abstractive formal description language for representing intrusion signatures.ISITL(Intrusion Signatures based on Interval Temporal Logic)是一种较高抽象程度的入侵特征形式化描述语言，它对Allen的时段时态逻辑进行了实时描述的扩充，从而加强了其入侵特征的描述能力。
延伸阅读
道义逻辑 一种非标准的模态逻辑。它研究"应当"、"可以"或 "许可"、"禁止" 这样一些道义概念的逻辑性质，是一种与伦理学或道德哲学有密切关系的模态逻辑。 早在12世纪，P.阿贝拉尔就把道义概念与自然界的必然性、可能性联系起来。他认为，自然所要求的就是必然的，自然所许可的就是可能的，自然所禁止的就是不可能的。14世纪的一些逻辑家如奥康的威廉等人已经注意到道义概念之间的逻辑关系。他们认为： "不应当不A"等值于"许可A"； "不许可不A"等值于"应当A"； "应当A"等值于"禁止不A"； "禁止A"等值于"应当不A"。 对道义逻辑的系统和深入研究，是在20世纪20年代开始的。1926年，德国逻辑学家E.马利最先应用数理逻辑的方法研究道义逻辑。他在其专著《应当的规律，意愿逻辑纲要》中，构造了一个道义逻辑公理系统。但该系统却推出了两个定理①Op→p，解释为:如果应当p,则p是事实上真的；②Op凮p,解释为:应当p,当且仅当p是事实上真的。这些定理背离了"应当"这一道义概念的含义，并导致道义逻辑等值于通常的命题逻辑。30年代A.霍夫斯塔特、J.C.C.麦肯舍、K.格耐里等人发表的几篇关于道义逻辑的论文，也有类似于马利提出的公理系统的缺陷。 1951年,芬兰学者G.H.von莱特在其《道义逻辑》一文和《模态逻辑》一书中，提出了一个不严格的道义逻辑系统，并提出一个判定道义逻辑常真式的方法。1964年,莱特把这一系统加以改进,构造了一个道义命题演算，该演算以 A、B、C、...作为命题变元，代表那些表示事物情况的命题;用～、&、∨、→、凮、作为联结词，分别解释为否定、合取、析取、实质蕴涵、实质等值;O为运算词，解释为应当；PA定义为～O～A。应用这些符号就可以构造出这个演算的合式公式。例如，OA；O～A；OA→OB;O(A&B)∨A。但在O的辖域中不能出现O这个符号。这个道义命题演算的公理是： A1 ～(OA&O～A)； A2 O(A&B)凮(OA&OB)。其推理规则为： R1 公理和定理中的命题变元可用任何不包含 O的合式公式代替； R2 分离规则； R3 公理或定理中的命题变元可用和它（在命题逻辑中）等值的合式公式替换； R4 应用道义命题代替命题逻辑常真式中的命题变元，其结果是一条定理。 这个道义命题演算是可判定的，也就是说，这个演算中的任一合式公式是或不是这个演算中的定理，可以由一个机械程序决定。 在任何包含莱特所提出的系统为子系统的道义逻辑中，都能推出以下定理：①、②和③。①OA→ O(A∨B)。其解释是:如果应当A，则应当（A或B）。由此可得：如果应当帮助人,则应当帮助人或陷害人。②PA→P(A∨B)。其解释是：如果许可 A，则许可（A或B）。由此可推出：如果许可某人抽烟，则许可某人抽烟或某人骂人。 ③ O～A→O(A→B)。这一定理是类似于实质蕴涵和严格蕴涵的怪论。这些定理都是违反人们对应当和许可这些道义概念的理解的。 50年代以后,由于莱特著作的影响,不少逻辑学家对道义逻辑产生了浓厚的兴趣，陆续构造了许多道义罗辑的系统。莱特本人也提出了一个条件道义命题演算。他以O(A/B)作为原子命题，并把它解释为：在 B这个事物情况下应当 A。他认为，无条件的道义命题，是条件道义命题的特殊情况。例如，OA就是O(A/B)。这里的 B是一个重言式。 R.H.托马森等人则把道义逻辑和时态逻辑结合起来。他认为，一个人的义务是与他的承诺有关的，而一个人的承诺又与时间有关。因此，为了解决道义逻辑的某些复杂问题，有必要在道义逻辑中加入时间概念。 A.R.安德森则试图把道义逻辑化归为标准的模态逻辑，并提出以下化归模式： OA呏N(～A→S)他把N解释为模态逻辑中的必然；S是一命题常元，被解释为道德上的坏事或惩罚。这样，其化归模式就解释为：应当 A，当且仅当不 A就必然受到惩罚。 S.坎格尔等人则从语义方面研究了道义逻辑，并提出了道义逻辑的模型理论（见模态逻辑）。 参考书目 R.Hilpinen ed.,Deontic Logic.Introductory and Systematic Readings,D.Dridel Publishing Co.,1971. R.Hilpinen ed.,A New Studies In Deontic Logic, Norm,Action and Foundation of Ethics, D.DridelPublishing Co.,1981.
