Goré, R. (1993). Cut-free sequent and tableau systems for propositional Diodorean modal logics.
Chicago-Zitierstil (17. Ausg.)Goré, Rajeev. Cut-free Sequent and Tableau Systems for Propositional Diodorean Modal Logics. Cambridge, 1993.
MLA-Zitierstil (9. Ausg.)Goré, Rajeev. Cut-free Sequent and Tableau Systems for Propositional Diodorean Modal Logics. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.