Description: 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.
Price: 203 AUD
Location: Hillsdale, NSW
End Time: 2024-11-18T13:31:33.000Z
Shipping Cost: 31.09 AUD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 60 Days
Return policy details:
EAN: 9783030529536
UPC: 9783030529536
ISBN: 9783030529536
MPN: N/A
Book Title: Probabilistic Extensions of Various Logical System
Item Length: 23.4 cm
Number of Pages: 238 Pages
Language: English
Publication Name: Probabilistic Extensions of Various Logical Systems
Publisher: Springer Nature Switzerland Ag
Publication Year: 2020
Subject: Computer Science, Mathematics
Item Height: 235 mm
Item Weight: 547 g
Type: Textbook
Author: Zoran Ognjanovic
Item Width: 155 mm
Format: Hardcover
