A systematic proof theory for several modal logics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

A systematic proof theory for several modal logics

Charles StewartCharles Stewart,  Phiniki StouppaPhiniki Stouppa
Charles Stewart, Phiniki Stouppa
A systematic proof theory for several modal logics
In R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing, eds., Proceedings of the 5th International Conference on Advances in Modal Logic, AiML-2004, to appear
@inproceedings{SS2004,
  author    = {Charles Stewart and Phiniki Stouppa},
  title     = {A systematic proof theory for several modal logics},
  editor    = {R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing},
  booktitle = {Proceedings of the 5th International Conference on Advances in
               Modal Logic, {AiML-2004}},
  year      = {2004}
}