Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous

被引：0

作者：

Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, United Kingdom ^{[1
]}

机构：

来源：

Fundam Inf | 2007年 / 1-3卷 / 297-313期

关键词：

Algorithms - Computability and decidability - Linear programming - Mathematical operators - Number theory;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 13 条

[1] Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous
Rybakov, Vladimir V.
FUNDAMENTA INFORMATICAE, 2007, 81 (1-3) : 297 - 313
[2] Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
Rybakov, V. V.
MATHEMATICAL LOGIC IN ASIA, 2006, : 233 - 253
[3] Logical consecutions in discrete linear temporal logic
Rybakov, VV
JOURNAL OF SYMBOLIC LOGIC, 2005, 70 (04) : 1137 - 1149
[4] Linear temporal logic with until and next, logical consecutions
Rybakov, V.
ANNALS OF PURE AND APPLIED LOGIC, 2008, 155 (01) : 32 - 45
[5] Logical consecutions in intransitive temporal linear logic of finite intervals
Rybakov, V
JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (05) : 663 - 678
[6] Quantum learning Boolean linear functions w.r.t. product distributions
Matthias C. Caro
Quantum Information Processing, 2020, 19
[7] Quantum learning Boolean linear functions w.r.t. product distributions
Caro, Matthias C.
QUANTUM INFORMATION PROCESSING, 2020, 19 (06)
[8] Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
Zhou, Hongjun
Wang, Guojun
FUZZY SETS AND SYSTEMS, 2006, 157 (15) : 2058 - 2073
[9] Vector Optimization w.r.t. Relatively Solid Convex Cones in Real Linear Spaces
Guenther, Christian
Khazayel, Bahareh
Tammer, Christiane
JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2022, 193 (1-3) : 408 - 442
[10] Vector Optimization w.r.t. Relatively Solid Convex Cones in Real Linear Spaces
Christian Günther
Bahareh Khazayel
Christiane Tammer
Journal of Optimization Theory and Applications, 2022, 193 : 408 - 442

← 1 2 →