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
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-08, 2003

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{SS2003,
  author      = {Charles Stewart and Phiniki Stouppa},
  title       = {A Systematic Proof Theory for Several Modal Logics},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2003}
}