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