Polkowski, Lech T.
74  Ergebnisse:
Personensuche X
?
1

Modal and Intuitionistic Logics:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 179-229 , 2023
 
?
2

Beyond FO Within SO:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 393-450 , 2023
 
?
3

Sentential Logic (SL):

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 61-110 , 2023
 
?
4

Introduction: Prerequisites:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 1-60 , 2023
 
?
5

Finitely and Infinitely Valued Logics:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 281-332 , 2023
 
?
6

Temporal Logics for Linear and Branching Time and Model Che..:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 231-280 , 2023
 
?
7

Logics for Programs and Knowledge:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 333-391 , 2023
 
?
8

Logic: Reference Book for Computer Scientists: The 2nd Revi.. 

Intelligent Systems Reference Library, 245
Polkowski, Lech T - 1st ed. 2023 . , 2023
 
?
9

Rudiments of First-Order Logic (FO):

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 111-178 , 2023
 
?
10

Beyond First-Order Logics:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 235-256 , 2022
 
?
11

Approximate Reasoning: Rough Logics:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 207-234 , 2022
 
?
12

Temporal Logics:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 141-170 , 2022
 
?
13

Propositional Modal Logic:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 75-103 , 2022
 
?
14

Propositional Logic:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 1-39 , 2022
 
?
15

Epistemic, Default and Dynamic Logics:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 105-140 , 2022
 
1-15