|
Showing 1 - 2 of
2 matches in All Departments
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.
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.