Menu
- Reformacja 500
- Szkoła Lwowsko-Warszawska
- Antykwariat
- E-book PDF
- Archeologia. Numizmatyka
- Beletrystyka
- Biologia. Genetyka
- Books in English, German, French, Italian and others
- Czasopisma i serie wydawnicze
- Dziennikarstwo. Media
- Edukacja. Dydaktyka
- Edycje tekstów źródłowych
- Ekonomia. Gospodarka. Handel
- Etnografia, etnologia
- Etyka
- Filozofia
- Genealogia Heraldyka Biografie
- Geografia. Ekologia
- Historia Polski
- Historia powszechna
- Informatyka, fizyka
- Italianistyka
- Językoznawstwo
- Korupcja. Klientelizm
- Kresy
- Książki z płytami CD/DVD
- Księgi ku czci
- Logika, semiotyka
- Matematyka. Astronomia. Fizyka
- Medycyna
- Militaria. Wojsko. Uzbrojenie
- Muzyka
- Nauki o literaturze
- Podręczniki akademickie
- Poezja. Poetyka
- Politologia
- Prawo, kryminologia
- Psychoanaliza
- Psychologia
- Regionalistyka
- Religia. Teologia
- Reprinty
- Słowianoznawstwo
- Słowniki, bibliografie, encyklopedie
- Socjologia
- Sztuka
- Varsaviana
- Wspomnienia, pamiętniki, listy
- Zarządzanie. Marketing
- Nowości
- Promocje
Producenci
Refutation Methods in Modal Propositional Logic
Opis
Tomasz Skura
Refutation Methods in Modal Propositional Logic
ISBN 978-83-7507-175-7, size B5, p. 132
Contents
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
4.5 Syntactic Completeness
4.6 Reductions to Normal Forms
5 S5 Normal Forms
5.1 Semantics
5.2 Proof System
5.3 Normal Forms
5.4 Refutation System
5.5 Cluster Models
5.6 Syntactic Completeness
5.7 Reductions to Normal Forms
5.8 Semantic Completeness
6 G Normal Forms
6.1 Semantics
6.2 Proof System
6.3 Normal Forms
6.4 Refutation System
6.5 Syntactic Reductions
6.6 Completeness
6.7 Reductions to Normal Forms
6.8 Constructing Counter-Models
7 GRZ Normal Forms
7.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
Produkty powiązane
Logic, Methodology and Philosophy of Science (1)
Logic, Methodology and Philosophy of Science (2)
Logic, Methodology and Philosophy of Science (3)
Logic, Methodology and Philosophy of Science (4)
Logic, Methodology and Philosophy of Science (5)
Logic, Methodology and Philosophy of Science (6)
Logic, Methodology and Philosophy of Science (7)
Goedel’s Ontological Argument
Logika, analiza mowy, psychologia (e-book PDF)
Semantyka nazw jednostkowych
Stanisław Leśniewski: Pisma zebrane
Paprzycka : Responsybilizm w sporze...
Polish Philosophy of the 19th and 20th Centuries
Egzystencjalizm logiczny
Pochwała okazjonalności
Pytania i odpowiedzi
Spór o granice języka
Spór o przedmioty nieistniejące
Tropy i uniwersalia
Zdrowy rozsądek i kraina marzeń
Parafraza — metoda — analiza
Narodziny kryptologii matematycznej
Analiza pojęcia informacji
Zawirski. Białobrzeski. Bornstein
Metaphor Activation in Multimodal Discourse
Metodologia i semiotyka
Myśl, mowa i czyn. Cz. 2
Panorama współczesnej filozofii polskiej
Polish Analytical Philosophy
Principia musica
Odkrycie naukowe
O rozumności i dobroci
Myśli o języku, nauce i wartościach
Myśli o języku, nauce i wartościach. Seria druga
Antyirracjonalizm
Scotland in Europe / Europe in Scotland
Polen und Österreich im 18. Jahrhundert
Petrarka a jedność kultury europejskiej + linoryt
Petrarka a jedność kultury europejskiej
Master Matthew of Cracow
Sequencing and Analysis of Cucumber
Memory and Responsibility. The Legacy of Jan Karski
Scottish Culture: Dialogue and Self-Expression
Odrodzenie i Reformacja w Polsce t. 61 (2017)
Polish Scholars on Scottish Writers
Acta Poloniae Historica vol. 121
Metoda i wartości. Metafilozofia Kazimierza Twardowskiego
Logika, metoda, obiektywizm
Problemy integracji wiedzy a badanie zjawisk politycznych
Filozofia Nauki nr 4/2014
Within and beyond the Limits of Science
Rodzaje naturalne [e-book PDF]
![Rodzaje naturalne [e-book PDF]](/environment/cache/images/150_150_productGfx_42340717.jpg)
Pojęcia wyrażania i idea uzewnętrznienia
O możliwości antyredukcjonizmu
Identyczność i trwanie
Znaczenie nazw a znaczenie zdań
Filozofia składni
Deflacyjna koncepcja prawdy
Alfred Tarski: dedukcja i semantyka
Gramatyka dyskursu filozoficznego
Deskrypcje nieokreślone
![Anti-irrationalism. Philosophical Methods in the Lvov-Warsaw School [e-book PDF]](/environment/cache/images/150_150_productGfx_2244/antyirracjonalizm.jpg)