Functional Completenes for a Natural Deduction Formulation of Hybridized S5

Torben Braüner. Functional Completenes for a Natural Deduction Formulation of Hybridized S5. In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev, editors, Advances in Modal Logic 4, papers from the fourth conference on Advances in Modal logic, held in Toulouse (France) in October 2002. pages 31-50, King s College Publications, 2002.

Authors

Torben Braüner

This author has not been identified. Look up 'Torben Braüner' in Google