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 条

[41] On natural deduction in first-order fixpoint logics
Szalas, Andrzej
Fundamenta Informaticae, 1996, 26 (01) : 81 - 94
[42] Logics for at most countable first-order structures
Perovic, Aleksandar
Ognjanovic, Zoran
Stojanovic, Tatjana
JOURNAL OF LOGIC AND COMPUTATION, 2024,
[43] Decidable Reasoning in a First-Order Logic of Limited Conditional Belief
Schwering, Christoph
Lakemeyer, Gerhard
ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1379 - 1387
[44] Decidable and Undecidable Problems for First-Order Definability and Modal Definability
Balbiani, Philippe
Tinchev, Tinko
LANGUAGE, LOGIC, AND COMPUTATION, 2022, 13206 : 214 - 236
[45] Complete first-order theories of some classical matrix groups over algebraic integers
Myasnikov, Alexei G.
Sohrabi, Mahmood
JOURNAL OF ALGEBRA, 2021, 582 : 206 - 231
[46] The power of first-order quantification over states in branching and linear time temporal logics
Chatterjee, K
Dasgupta, P
Chakrabarti, PP
INFORMATION PROCESSING LETTERS, 2004, 91 (05) : 201 - 210
[47] First-order logics: some characterizations and closure properties
Christian Choffrut
Andreas Malcher
Carlo Mereghetti
Beatrice Palano
Acta Informatica, 2012, 49 : 225 - 248
[48] Embedding Friendly First-Order Paradefinite and Connexive Logics
Kamide, Norihiro
JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (05) : 1055 - 1102
[49] Fibring model first-order logics: Completeness preservation
Sernadas, A
Sernadas, C
Zanardo, A
LOGIC JOURNAL OF THE IGPL, 2002, 10 (04) : 413 - 451
[50] Embedding Friendly First-Order Paradefinite and Connexive Logics
Norihiro Kamide
Journal of Philosophical Logic, 2022, 51 : 1055 - 1102

← 1 2 3 4 5 →