A new axiomatization of Kt

Bulletin of the Section of Logic

Volumn 25, Issue 1, 1996, Pages 60-62

  Wansing, Heinrich ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84896497489     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (3)

1. N. Belnap, Display Logic, Journal of Philosophical Logic 11 (1982), pp. 375-417.
2. B. Chellas, Modal Logic. An Introduction, Cambridge University Press, Cambridge, 1980.
3. H. Wansing, Sequent Calculi for Normal Modal Propositional Logics, Journal of Logic and Computation 4 (1994), pp. 125-142