Probabilistic Extensions of Various Logical Systems -  - Books - Springer Nature Switzerland AG - 9783030529536 - July 18, 2020
In case cover and title do not match, the title is correct

Probabilistic Extensions of Various Logical Systems 2020 edition


Get an email once the item is available
Do you have a profile? Log in
Add to your iMusic wish list

Not rated yet

The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. The aim is to provide a systematic overview and an accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness and decidability.


238 pages, 3 Illustrations, black and white; XIII, 238 p. 3 illus.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 18, 2020
ISBN13 9783030529536
Publishers Springer Nature Switzerland AG
Pages 238
Dimensions 150 × 220 × 20 mm   ·   530 g
Language German  
Editor Ognjanovic, Zoran

More from the same publisher