Logics for Computer Science
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783319925905, 9783319925912

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Correction to: Logics for Computer Science

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_12 ◽

2019 ◽

pp. C1-C1

Author(s):

Anita Wasilewska

Keyword(s):

Computer Science

Download Full-text

Classical Predicate Semantics and Proof Systems

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_8 ◽

2018 ◽

pp. 349-400

Author(s):

Anita Wasilewska

Keyword(s):

Proof Systems ◽

Classical Predicate

Download Full-text

General Proof Systems: Syntax and Semantics

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_4 ◽

2018 ◽

pp. 145-177

Author(s):

Anita Wasilewska

Keyword(s):

General Proof ◽

Proof Systems

Download Full-text

Formal Theories and Gödel Theorems

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_11 ◽

2018 ◽

pp. 489-535

Author(s):

Anita Wasilewska

Keyword(s):

Formal Theories

Download Full-text

Predicate Automated Proof Systems Completeness of Classical Predicate Logic

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_10 ◽

2018 ◽

pp. 441-487

Author(s):

Anita Wasilewska

Keyword(s):

Predicate Logic ◽

Proof Systems ◽

Automated Proof ◽

Classical Predicate

Download Full-text

Introduction to Intuitionistic and Modal Logics

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_7 ◽

2018 ◽

pp. 305-348

Author(s):

Anita Wasilewska

Keyword(s):

Modal Logics

Download Full-text

Propositional Semantics: Classical and Many Valued

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_3 ◽

2018 ◽

pp. 65-143

Author(s):

Anita Wasilewska

Download Full-text

Introduction: Paradoxes and Puzzels

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_1 ◽

2018 ◽

pp. 1-13

Author(s):

Anita Wasilewska

Download Full-text

Automated Proof Systems Completeness of Classical Propositional Logic

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_6 ◽

2018 ◽

pp. 233-304

Author(s):

Anita Wasilewska

Keyword(s):

Propositional Logic ◽

Classical Propositional Logic ◽

Proof Systems ◽

Automated Proof

Download Full-text

Hilbert Proof Systems Completeness of Classical Propositional Logic

Logics for Computer Science ◽

10.1007/978-3-319-92591-2_5 ◽

2018 ◽

pp. 179-232

Author(s):

Anita Wasilewska

Keyword(s):

Propositional Logic ◽

Classical Propositional Logic ◽

Proof Systems

Download Full-text