Probabilistic Extensions of Various Logical Systems

Gebonden Engels 2020 9783030529536
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783030529536
Taal:Engels
Bindwijze:gebonden
Uitgever:Springer International Publishing

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

Logics with Probability Operators.-&nbsp;Formalization of Probabilities with Nonlinearly Ordered Ranges.-&nbsp;ProbabilisticTemporal&nbsp;Logics.- Probabilistic Modeling of Default Reasoning.-&nbsp;Some&nbsp;New Probability Operators.-&nbsp;Application of Logics About Simple Probabilities.-&nbsp;Probabilized Sequent Calculus and Natural Deduction System for Classical Logic.-&nbsp;Justification Logics with Probability Operators.- Index<br>

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Probabilistic Extensions of Various Logical Systems