Springer
Probabilistic Extensions of Various Logical Systems
Lowest observed price
Prices at stores
1 offerPrices are the most recently observed prices. Check the current price, availability and delivery costs at the store.
Price history
1 price observationThe chart shows the lowest recorded product price on each observation day. Prices between observations have not been verified.
- Lowest observed
- €109.99
- Highest observed
- €109.99
- Latest history observation
Show price observation
| Price observed (Finnish time) | Price |
|---|---|
| €109.99 |
Product details
The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. Formal languages of these logics are extended with probabilistic operators. 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. The book will be of value to researchers in logic and it can be used as a supplementary text in graduate courses on non-classical logics.
- Brand
- Springer
- EAN / GTIN
- 9783030529536