Decomposition of decidable first-order logics over integers and reals

被引：5

作者：

Bouchy, Florent ^{[1
]}

Finkel, Alain ^{[1
]}

Leroux, Jerome ^{[2
]}

机构：

[1] ENS Cachan, LSV, CNRS, UMR 8643, Cachan, France

[2] UMR, CNRS, Lab Bordelais Recherche Informat, F-5800 Talence, France

来源：

TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS | 2008年

关键词：

D O I：

10.1109/TIME.2008.22

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We tackle the issue of representing infinite sets of real-valued vectors. This paper introduces an operator for combining integer and real sets. Using this operator we decompose three well-known logics extending Presburger with reals. Our decomposition splits a logic into two parts : one integer and one decimal (i.e. on the interval [0, 1[). We also give a basis for an implementation of our representation.

引用

页码：147 / +

页数：3

共 50 条

[1] Decidable fragments of first-order temporal logics
Hodkinson, I
Wolter, F
Zakharyaschev, M
ANNALS OF PURE AND APPLIED LOGIC, 2000, 106 (1-3) : 85 - 134
[2] Decidable fragments of first-order modal logics
Wolter, F
Zakharyaschev, M
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) : 1415 - 1438
[3] Decidable first-order transition logics for PA-processes
Lugiez, D
Schnoebelen, P
INFORMATION AND COMPUTATION, 2005, 203 (01) : 75 - 113
[4] Decidable and undecidable fragments of first-order branching temporal logics
Hodkinson, I
Wolter, F
Zakharyaschev, M
17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 393 - 402
[5] Decidable first-order transition logics for PA-processes
Lugiez, D
Schnoebelen, P
AUTOMATA LANGUAGES AND PROGRAMMING, 2000, 1853 : 342 - 353
[6] On the computational complexity of decidable fragments of first-order linear temporal logics
Hodkinson, I
Kontchakov, R
Kurucz, A
Wolter, F
Zakharyaschev, M
TIME-ICTL 2003: 10TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING AND FOURTH INTERNATIONAL CONFERENCE ON TEMPORAL LOGIC, PROCEEDINGS, 2003, : 91 - 98
[7] First-order queries on finite structures over the reals
Paredaens, J
Van den Bussche, J
Van Gucht, D
SIAM JOURNAL ON COMPUTING, 1998, 27 (06) : 1747 - 1763
[8] Weighted First-Order Logics over Semirings
Mandrali, Eleni
Rahonis, George
ACTA CYBERNETICA, 2015, 22 (02): : 435 - 483
[9] First-order logics over fixed domain
Taylor, R. Gregory
THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2022, 88 (03): : 584 - 606
[10] On first-order conditional logics
School of Computing Science, Simon Fraser University, Burnaby, BC V5A 1S6, Canada
Artif Intell, 1-2 (105):

← 1 2 3 4 5 →