Probabilistic Extensions of Various Logical Systems

Editors: Ognjanović, Zoran (Ed.)

Free Preview
  • Contributions survey results on combinations of probabilistic and other logical systems
  • Accessible presentation of techniques used to obtain results on formalization, completeness, compactness and decidability
  • Valuable for researchers in logic
おすすめポイントをすべて見る

書籍の購入

イーブック ¥16,015
価格の適用国: Japan (日本円価格は個人のお客様のみ有効) (小計)
  • ISBN 978-3-030-52954-3
  • ウォーターマーク付、 DRMフリー
  • ファイル形式: PDF
  • どの電子書籍リーダーからでもすぐにお読みいただけます。
  • ご購入後、すぐにダウンロードしていただけます。
ハードカバー ¥20,019
価格の適用国: Japan (日本円価格は個人のお客様のみ有効) (小計)
  • ISBN 978-3-030-52953-6
  • 個人のお客様には、世界中どこでも配送料無料でお届けします。
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
この書籍について

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.

Table of contents (8 chapters)

Table of contents (8 chapters)

書籍の購入

イーブック ¥16,015
価格の適用国: Japan (日本円価格は個人のお客様のみ有効) (小計)
  • ISBN 978-3-030-52954-3
  • ウォーターマーク付、 DRMフリー
  • ファイル形式: PDF
  • どの電子書籍リーダーからでもすぐにお読みいただけます。
  • ご購入後、すぐにダウンロードしていただけます。
ハードカバー ¥20,019
価格の適用国: Japan (日本円価格は個人のお客様のみ有効) (小計)
  • ISBN 978-3-030-52953-6
  • 個人のお客様には、世界中どこでも配送料無料でお届けします。
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

この書籍のサービス情報

あなたへのおすすめ

Loading...

書誌情報

Bibliographic Information
Book Title
Probabilistic Extensions of Various Logical Systems
Editors
  • Zoran Ognjanović
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
イーブック ISBN
978-3-030-52954-3
DOI
10.1007/978-3-030-52954-3
ハードカバー ISBN
978-3-030-52953-6
Edition Number
1
Number of Pages
XIII, 238
Number of Illustrations
3 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.