Probabilistic Extensions of Various Logical Systems - Brossura

 
9783030529567: Probabilistic Extensions of Various Logical Systems

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9783030529536: Probabilistic Extensions of Various Logical Systems

Edizione in evidenza

ISBN 10:  3030529533 ISBN 13:  9783030529536
Casa editrice: Springer-Nature New York Inc, 2020
Rilegato