Displaying Modal Logic - Trends in Logic
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9789048150793, 9789401712804

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_1 ◽

1998 ◽

pp. 1-14

Author(s):

Heinrich Wansing

Download Full-text

Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_4 ◽

1998 ◽

pp. 47-64

Author(s):

Heinrich Wansing

Keyword(s):

Cut Elimination

Download Full-text

Translation of Hypersequents into Display Sequents

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_11 ◽

1998 ◽

pp. 171-187

Author(s):

Heinrich Wansing

Download Full-text

Strong Cut-Elimination and Labelled Modal Tableaux

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_7 ◽

1998 ◽

pp. 87-102

Author(s):

Heinrich Wansing

Keyword(s):

Cut Elimination

Download Full-text

Tarskian Structured Consequence Relations and Functional Completeness

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_8 ◽

1998 ◽

pp. 103-126

Author(s):

Heinrich Wansing

Keyword(s):

Functional Completeness ◽

Consequence Relations

Download Full-text

Appendix

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_13 ◽

1998 ◽

pp. 211-234

Author(s):

Heinrich Wansing

Download Full-text

Predicate Logics on Display

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_12 ◽

1998 ◽

pp. 189-210

Author(s):

Heinrich Wansing

Download Full-text

Modal Tableaux Based on Residuation

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_6 ◽

1998 ◽

pp. 75-85

Author(s):

Heinrich Wansing

Download Full-text

Constructive Negation and the Modal Logic of Consistency

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_9 ◽

1998 ◽

pp. 127-154

Author(s):

Heinrich Wansing

Keyword(s):

Modal Logic ◽

Constructive Negation

Download Full-text

Displaying as Temporalizing

Displaying Modal Logic - Trends in Logic ◽

10.1007/978-94-017-1280-4_10 ◽

1998 ◽

pp. 155-170

Author(s):

Heinrich Wansing

Download Full-text