Combining Probability and First-Order Logic

被引：0

作者：

Leiva, Mario A. ^{[1
,2
]}

Garcia, Alejandro J. ^{[1
,2
]}

Shakarian, Paulo ^{[3
]}

Simari, Gerardo I. ^{[1
,2
]}

机构：

[1] Univ Nacl del Sur UNS, Dept Cs e Ing Comp, Bahia Blanca, Argentina

[2] UNS CONICET, Inst Cs e Ing Comp, Bahia Blanca, Argentina

[3] Cyber Reconnaissance Inc, Tempe, AZ USA

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 345期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：4 / 4

页数：1

共 50 条

[11] Extended First-Order Logic
Brown, Chad E.
Smolka, Gert
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 164 - 179
[12] First-Order Logic with Adverbs
Haze, Tristan Grotvedt
LOGIC AND LOGICAL PHILOSOPHY, 2024, 33 (02) : 289 - 324
[13] FIRST-ORDER HOMOTOPICAL LOGIC
Helfer, Joseph
JOURNAL OF SYMBOLIC LOGIC, 2023,
[14] GEOMETRISATION OF FIRST-ORDER LOGIC
Dyckhoff, Roy
Negri, Sara
BULLETIN OF SYMBOLIC LOGIC, 2015, 21 (02) : 123 - 163
[15] First-Order Logic of Change
Swietorzecka, Kordula
LOGIC JOURNAL OF THE IGPL, 2024, 32 (01) : 35 - 46
[16] Coherentisation of First-Order Logic
Dyckhoff, Roy
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323
[17] FIRST-ORDER LOGIC OF TERMS
SVENONIU.L
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 177 - 188
[18] First-order logic: An introduction
Adler, JE
JOURNAL OF PHILOSOPHY, 2000, 97 (10): : 577 - 580
[19] First-order intensional logic
Fitting, M
ANNALS OF PURE AND APPLIED LOGIC, 2004, 127 (1-3) : 171 - 193
[20] The First-Order Logic of Hyperproperties
Finkbeiner, Bernd
Zimmermann, Martin
34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017), 2017, 66