Temporal alethic-deontic logic and semantic tableaux

被引：6

作者：

Ronnedal, Daniel ^{[1
]}

机构：

[1] Stockholm Univ, Dept Philosophy, S-10691 Stockholm, Sweden

来源：

JOURNAL OF APPLIED LOGIC | 2012年 / 10卷 / 03期

关键词：

T x W logics; Temporal logic; Modal logic; Deontic logic; Semantic tableaux; Historical necessity; The ought-implies-can principle; The means-end principle; TENSE;

D O I：

10.1016/j.jal.2012.03.002

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The purpose of this paper is to describe a set of temporal alethic-deontic systems, i.e. systems that include temporal, alethic and deontic operators. All in all we will consider 2,147,483,648 systems. All systems are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T x W semantics, to characterize our systems semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect to their semantics. (C) 2012 Elsevier B.V. All rights reserved.

引用

页码：219 / 237

页数：19

共 50 条

[1] QUANTIFIED TEMPORAL ALETHIC-DEONTIC LOGIC
Ronnedal, Daniel
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (01) : 19 - 59
[2] DYADIC DEONTIC LOGIC AND SEMANTIC TABLEAUX
Ronnedal, Daniel
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2009, 18 (3-4) : 221 - 252
[3] A REDUCTION OF DEONTIC LOGIC TO ALETHIC MODAL LOGIC
ANDERSON, AR
[J]. MIND, 1958, 67 (265) : 100 - 103
[4] HOW FAR CAN HUME IS-OUGHT THESIS BE GENERALIZED, AN INVESTIGATION IN ALETHIC-DEONTIC MODAL PREDICATE LOGIC
SCHURZ, G
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1991, 20 (01) : 37 - 95
[5] TEMPORAL ALETHIC DYADIC DEONTIC LOGIC AND THE CONTRARY-TO-DUTY OBLIGATION PARADOX
Ronnedal, Daniel
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2018, 27 (01) : 3 - 52
[6] A SYSTEM OF DEONTIC-ALETHIC MODAL LOGIC
FISHER, M
[J]. MIND, 1962, 71 (282) : 231 - 236
[7] A tableaux system for deontic action logic
Castro, Pablo F.
Maibaum, T. S. E.
[J]. DEONTIC LOGIC IN COMPUTER SCIENCE, 2008, 5076 : 34 - 48
[8] Alethic modality is deontic
Wu, Qiong
[J]. MIND & LANGUAGE, 2024, 39 (04) : 561 - 577
[9] SEMANTIC TABLEAUX FOR A LOGIC WITH IDENTITY
BENCIVENGA, E
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (03): : 241 - 247
[10] A temporal dynamic deontic logic
Ju, Fengkui
van Eijck, Jan
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (02) : 265 - 284

← 1 2 3 4 5 →