Shulph Ink
Probabilistic Extensions of Various Logical Systems
Probabilistic Extensions of Various Logical Systems
YOU SAVE £11.59
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Couldn't load pickup availability
Excellent- More about Probabilistic Extensions of Various Logical Systems
This book surveys results on combinations of probabilistic and classical logics, presenting mathematical techniques for formalization, completeness, compactness, and decidability. It is valuable for researchers in logic and can be used as a supplementary text in graduate courses on non-classical logics.
Format: Paperback / softback
Length: 238 pages
Publication date: 18 July 2021
Publisher: Springer Nature Switzerland AG
This book presents a comprehensive survey of recent advancements in the field of combinations of probabilistic and various other classical, temporal, and justification logical systems. By extending the formal languages of these logics with probabilistic operators, it aims to provide a systematic overview and accessible presentation of mathematical techniques used to obtain results on formalization, completeness, compactness, and decidability.
The book will be of immense value to researchers in logic, serving as a valuable supplementary text in graduate courses on non-classical logics. It covers a wide range of topics, including probabilistic logic, temporal logic, and justification logic, and explores their interconnections and applications.
The book is organized into five chapters, each dedicated to a specific aspect of the combinations of probabilistic and classical logics. The first chapter provides an introduction to the topic, discussing the motivations behind the study and the main challenges involved. The subsequent chapters delve into various mathematical techniques, such as probability theory, measure theory, and logic programming, that are employed to obtain results on formalization, completeness, compactness, and decidability.
Each chapter is accompanied by detailed examples and exercises to facilitate understanding and application of the discussed concepts. The book also includes a comprehensive bibliography that provides further reading for those interested in exploring this field in greater depth.
In conclusion, this book offers a valuable resource for researchers and students interested in the intersection of probabilistic and classical logics. It provides a comprehensive and up-to-date overview of the latest developments in this area, making it an essential tool for anyone seeking to advance their knowledge in this field.
Weight: 391g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030529567
Edition number: 1st ed. 2020
This item can be found in:
UK and International shipping information
UK and International shipping information
UK Delivery and returns information:
- Delivery within 2 - 3 days when ordering in the UK.
- Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
- Returns policy: Return within 30 days of receipt for full refund.
International deliveries:
Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.
- Delivery times: within 5 - 10 days for international orders.
- Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
- Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
