Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9789400700048, 9789400700055

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dual Tableaux for Some Logics Based on Intuitionism

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_8 ◽

2010 ◽

pp. 161-176

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Download Full-text

Dual Tableaux for Classical Modal Logics

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_7 ◽

2010 ◽

pp. 143-160

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Keyword(s):

Download Full-text

Methodological Principles of Dual Tableaux

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_25 ◽

2010 ◽

pp. 455-493

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Keyword(s):

Methodological Principles

Download Full-text

Dual Tableaux for First-Order Post Logics

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_22 ◽

2010 ◽

pp. 407-416

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Keyword(s):

Download Full-text

Signed Dual Tableau for Gödel–Dummett Logic

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_21 ◽

2010 ◽

pp. 397-406

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Keyword(s):

Download Full-text

Dual Tableaux for Logics of Programs

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_19 ◽

2010 ◽

pp. 359-382

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Keyword(s):

Logics Of Programs

Download Full-text

Dual Tableaux for Information Logics of Relative Frames

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_12 ◽

2010 ◽

pp. 237-249

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Download Full-text

Dual Tableaux for Temporal Logics

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_16 ◽

2010 ◽

pp. 291-313

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Keyword(s):

Temporal Logics

Download Full-text

Dual Tableaux for Information Logics of Plain Frames

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_11 ◽

2010 ◽

pp. 217-235

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Download Full-text

Dual Tableau for Classical First-Order Logic

Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic ◽

10.1007/978-94-007-0005-5_1 ◽

2010 ◽

pp. 3-31

Author(s):

Ewa Orłowska ◽

Joanna Golińska-Pilarek

Keyword(s):

Order Logic ◽

First Order Logic ◽

Download Full-text