Decidable ∃ ∗∀ ∗ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates

被引：0

作者：

机构：

[1] Voigt, Marco

来源：

Voigt, Marco (mvoigt@mpi-inf.mpg.de) | 1600年 / Springer Science and Business Media B.V.卷 / 65期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Journal article (JA)

引用

共 50 条

[1] Decidable ∃*∀* First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates
Voigt, Marco
JOURNAL OF AUTOMATED REASONING, 2021, 65 (03) : 357 - 423
[2] 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
[3] Craig Interpolation for Decidable First-Order Fragments
ten Cate, Balder
Comer, Jesse
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT II, FOSSACS 2024, 2024, 14575 : 137 - 159
[4] 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
[5] Decidable fragments of first-order modal logics
Wolter, F
Zakharyaschev, M
JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) : 1415 - 1438
[6] Craig Interpolation for Decidable Fragments of First-Order Logic
ten Cate, Balder
32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
[7] Decidable and Undecidable Fragments of First-Order Concatenation Theory
Kristiansen, Lars
Murwanashyaka, Juvenal
SAILING ROUTES IN THE WORLD OF COMPUTATION, 2018, 10936 : 244 - 253
[8] Combinations of Theories for Decidable Fragments of First-Order Logic
Fontaine, Pascal
FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 263 - 278
[9] 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
[10] Decidable ∃∗∀∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\exists }^*{\forall }^*$$\end{document} First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates
Marco Voigt
Journal of Automated Reasoning, 2021, 65 (3) : 357 - 423

← 1 2 3 4 5 →