Probabilistic Extensions of Various Logical Systems / edited by Zoran Ognjanović.

Format:

Book

Contributor:

Ognjanović, Zoran, editor.

SpringerLink (Online service)

Series:

Computer Science (SpringerNature-11645)

Language:

English

Subjects (All):

Computer logic.

Probabilities.

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Probability Theory and Stochastic Processes.

Mathematical Logic and Foundations.

Local Subjects:

Logics and Meanings of Programs.

Probability Theory and Stochastic Processes.

Mathematical Logic and Foundations.

Physical Description:

1 online resource (XIII, 238 pages) : 3 illustrations

Edition:

First edition 2020.

Contained In:

Springer Nature eBook

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2020.

System Details:

text file PDF

Summary:

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.

Contents:

Logics with Probability Operators

Formalization of Probabilities with Nonlinearly Ordered Ranges

ProbabilisticTemporal Logics

Probabilistic Modeling of Default Reasoning

Some New Probability Operators

Application of Logics About Simple Probabilities

Probabilized Sequent Calculus and Natural Deduction System for Classical Logic

Justification Logics with Probability Operators

Index.

Other Format:

Printed edition:

ISBN:

978-3-030-52954-3

9783030529543

Access Restriction:

Restricted for use by site license.