I agree that this site is using cookies. You can find further informations here.
X
Polkowski, Lech T.
73  results:
Search for persons X
?
1

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

Intelligent Systems Reference Library, 245
Polkowski, Lech T - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
2

Introduction: Prerequisites:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 1-60 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Rudiments of First-Order Logic (FO):

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 111-178 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Modal and Intuitionistic Logics:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 179-229 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Beyond FO Within SO:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 393-450 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Logics for Programs and Knowledge:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 333-391 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Finitely and Infinitely Valued Logics:

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 281-332 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Sentential Logic (SL):

, In: Intelligent Systems Reference Library; Logic: Reference Book for Computer Scientists,
Polkowski, Lech T. - p. 61-110 , 2023
Link: https://doi.org/10.1007/..
 
?
9

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
Link: https://doi.org/10.1007/..
 
?
10

First-Order Logic:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 41-74 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Many-Valued Logics:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 171-205 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Temporal Logics:

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

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
Link: https://doi.org/10.1007/..
 
?
14

Logics for Computer and Data Sciences, and Artificial Intel.. 

Studies in Computational Intelligence, 992
Polkowski, Lech T - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
15

Propositional Logic:

, In: Studies in Computational Intelligence; Logics for Computer and Data Sciences, and Artificial Intelligence,
Polkowski, Lech T. - p. 1-39 , 2022
Link: https://doi.org/10.1007/..
 
1-15