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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

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):

Modal Logics

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

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):

First Order

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):

Dummett Logic

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

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

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

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

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 ◽

First Order

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Dual Tableaux for Some Logics Based on Intuitionism

Dual Tableaux for Classical Modal Logics

Methodological Principles of Dual Tableaux

Dual Tableaux for First-Order Post Logics

Signed Dual Tableau for Gödel–Dummett Logic

Dual Tableaux for Logics of Programs

Dual Tableaux for Information Logics of Relative Frames

Dual Tableaux for Temporal Logics

Dual Tableaux for Information Logics of Plain Frames

Dual Tableau for Classical First-Order Logic

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