Probabilistic extensions of various logical systems
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030529567
Date de publication :
18 juil. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems. 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.