Probabilistic Extensions of Various Logical Systems - Rilegato

 
9783030529536: Probabilistic Extensions of Various Logical Systems
Rilegato
ISBN 10: 3030529533 ISBN 13: 9783030529536
Casa editrice: Springer-Nature New York Inc, 2020

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.

Editore
Springer-Nature New York Inc
Data di pubblicazione
2020
Lingua
Inglese
ISBN 10 
3030529533
ISBN 13 
9783030529536
Rilegatura
Copertina rigida
Numero edizione
1
Numero di pagine
252
Redattore
Ognjanovic Zoran
Contatto del produttore
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783030529567: Probabilistic Extensions of Various Logical Systems

Edizione in evidenza

ISBN 10:  3030529568 ISBN 13:  9783030529567
Casa editrice: Springer, 2021
Brossura