Studies in Computational Intelligence - Logics for Computer and Data Sciences, and Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 8)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030916794, 9783030916800

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

First-Order Logic

Studies in Computational Intelligence - Logics for Computer and Data Sciences, and Artificial Intelligence ◽

10.1007/978-3-030-91680-0_2 ◽

2022 ◽

pp. 41-74

Author(s):

Lech T. Polkowski

Keyword(s):

Order Logic ◽

First Order Logic ◽

Download Full-text

Propositional Logic

Studies in Computational Intelligence - Logics for Computer and Data Sciences, and Artificial Intelligence ◽

10.1007/978-3-030-91680-0_1 ◽

2022 ◽

pp. 1-39

Author(s):

Lech T. Polkowski

Keyword(s):

Propositional Logic

Download Full-text

Propositional Modal Logic

Studies in Computational Intelligence - Logics for Computer and Data Sciences, and Artificial Intelligence ◽

10.1007/978-3-030-91680-0_3 ◽

2022 ◽

pp. 75-103

Author(s):

Lech T. Polkowski

Keyword(s):

Modal Logic ◽

Propositional Modal Logic

Download Full-text

Approximate Reasoning: Rough Logics

Studies in Computational Intelligence - Logics for Computer and Data Sciences, and Artificial Intelligence ◽

10.1007/978-3-030-91680-0_7 ◽

2022 ◽

pp. 207-234

Author(s):

Lech T. Polkowski

Keyword(s):

Approximate Reasoning

Download Full-text

Temporal Logics

Studies in Computational Intelligence - Logics for Computer and Data Sciences, and Artificial Intelligence ◽

10.1007/978-3-030-91680-0_5 ◽

2022 ◽

pp. 141-170

Author(s):

Lech T. Polkowski

Keyword(s):

Temporal Logics

Download Full-text

Epistemic, Default and Dynamic Logics

Studies in Computational Intelligence - Logics for Computer and Data Sciences, and Artificial Intelligence ◽

10.1007/978-3-030-91680-0_4 ◽

2022 ◽

pp. 105-140

Author(s):

Lech T. Polkowski

Keyword(s):

Download Full-text

Many-Valued Logics

Studies in Computational Intelligence - Logics for Computer and Data Sciences, and Artificial Intelligence ◽

10.1007/978-3-030-91680-0_6 ◽

2022 ◽

pp. 171-205

Author(s):

Lech T. Polkowski

Download Full-text

Beyond First-Order Logics

Studies in Computational Intelligence - Logics for Computer and Data Sciences, and Artificial Intelligence ◽

10.1007/978-3-030-91680-0_8 ◽

2022 ◽

pp. 235-256

Author(s):

Lech T. Polkowski

Keyword(s):

Download Full-text