Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.Premium & Rewards Members 25% Off Pre-Order Books With Code PREORDER25 Ends 6/26 Shop Now Online only. See page for details.
Add Item to wish listAdd Item to wish list

Probabilistic Extensions of Various Logical Systems

By Zoran Ognjanovic (Editor)
Paperback
$109.99
By Zoran Ognjanovic (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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 suppl...

Categories

ComputersComputers - General & MiscellaneousGeneral & Miscellaneous Computing