![Refutation Methods in Modal Propositional - okładka książki](https://staticl.poczytaj.pl/253000/refutation-methods-in-modal-propositional-logic-tomasz-skura,253916-s.jpg)
Dane szczegółowe: | |
Wydawca: | Wydawnictwo Naukowe Semper |
Rok wyd.: | 2013 |
Oprawa: | miękka |
Ilość stron: | 132 s. |
Wymiar: | 176x250 mm |
EAN: | 9788375071757 |
ISBN: | 978-83-7507-175-7 |
Data: | 2013-03-08 |
Opis książki:
Nowa książka prof. Tomasza Skury, wybitnego logika z Uniwersytetu Zielonogórskiego.
Książka "Refutation Methods in Modal Propositional Logic" - Tomasz Skura - oprawa miękka - Wydawnictwo Naukowe Semper. Książka posiada 132 stron i została wydana w 2013 r. Cena 26.33 zł. Zapraszamy na zakupy!
Spis treści:
Preface
1 Introduction and Motivation
1.1 Basic Concepts
1.2 From Models to Refutations
1.3 From Refutations to Models
1.4 Refutation Search
I From Models to Syntactic Refutations
2 Syntactic Tools 24
2.1 Propositional Formulas
2.2 Boolean Laws
2.3 Classical Refutation System
2.4 Modal Formulas
2.5 Modal Replacement
3 Finite Models
3.1 Normal Modal Logics
3.2 Characteristic Formulas
3.3 The Logics with the FMP
3.4 The Finite-Valued Logics
3.5 A Logic without the FMP
II Normal Form Procedures
4 CL Normal Forms
4.1 Interpretations
4.2 Introducing Normal Forms
4.3 Proof System for Normal Forms
4.4 Refutation System for Normal Forms
6.8 Constructing Counter-Models
7 GRZ N7.1 Semantics
7.2 Proof System
7.3 Normal Forms
7.4 Refutation System
7.5 Syntactic Reductions
7.6 Completeness
7.7 Reductions to Normal Forms
7.8 Constructing Counter-Models
8 S4DBR Normal Forms
8.1 The Logic S4DBR
8.2 Normal Forms
8.3 Refutation System
8.4 Syntactic Reductions
8.5 Completeness
8.6 Reductions to Normal Forms
8.7 Constructing Counter-Models
9 S4 Normal Forms
9.1 The Logic S4
9.2 Reductions to Normal Forms
9.3 The Logic S4.3
10 Refutation Search
10.1 Classical Logic
10.2 Modal Logic
10.2.1 Completeness
10.2.2 The Logic GRZ
10.2.3 The Logic S4
10.2.4 The Logic S4DBR
10.3 Tableaux
Index
Bibliography