A systematic proof theory for several modal logics

Charles StewartCharles Stewart, Phiniki StouppaPhiniki Stouppa

Download

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

Details
Bibtex

Bemerkung: Note: To appear
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@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}
}