Probabilistic extensions of various logical systems / Zoran Ognjanović, editor.
2020
QA9
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Probabilistic extensions of various logical systems / Zoran Ognjanović, editor.
ISBN
9783030529543 (electronic book)
3030529541 (electronic book)
3030529533
9783030529536
3030529541 (electronic book)
3030529533
9783030529536
Publication Details
Cham : Springer, 2020.
Language
English
Description
1 online resource (245 pages)
Item Number
10.1007/978-3-030-52954-3 doi
10.1007/978-3-030-52
10.1007/978-3-030-52
Call Number
QA9
Dewey Decimal Classification
511.3
Summary
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.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Available in Other Form
Linked Resources
Record Appears in