A Linear Approach to Modal Proof Theory

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proof Theory of Modal Logic
Editors	H. Wansing
Place of Publication	Dordrecht etc.
Publisher	Kluwer Academic
Pages	33-43
Number of pages	11
Publication status	Published - 1996
Event	Serie: Applied Logic Series 2 - Duration: 1 Jan 1996 → …

Name	33
Number	43

Conference	Serie: Applied Logic Series 2
Period	1/01/96 → …

Serie: Applied Logic Series 2

Keywords

@inbook{f32348ded589429783be8561333f65a0,

title = "A Linear Approach to Modal Proof Theory",

keywords = "Wiskunde en Informatica (WIIN), Other mathematical specialities, Wiskunde en computerwetenschappen, Wiskunde: algemeen",

author = "H. Schellinx",

note = "Serie: Applied Logic Series 2; Serie: Applied Logic Series 2 ; Conference date: 01-01-1996",

year = "1996",

language = "Undefined/Unknown",

series = "33",

publisher = "Kluwer Academic",

number = "43",

pages = "33--43",

editor = "H. Wansing",

booktitle = "Proof Theory of Modal Logic",

}

TY - CHAP

T1 - A Linear Approach to Modal Proof Theory

AU - Schellinx, H.

N1 - Serie: Applied Logic Series 2

PY - 1996

Y1 - 1996

KW - Wiskunde en Informatica (WIIN)

KW - Other mathematical specialities

KW - Wiskunde en computerwetenschappen

KW - Wiskunde: algemeen

M3 - Chapter

T3 - 33

SP - 33

EP - 43

BT - Proof Theory of Modal Logic

A2 - Wansing, H.

PB - Kluwer Academic

CY - Dordrecht etc.

T2 - Serie: Applied Logic Series 2

Y2 - 1 January 1996

ER -