Lahav, O. (2013, June). From Frame Properties to Hypersequent Rules in Modal Logics. 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 408-417. https://doi.org/10.1109/LICS.2013.47
Chicago-Zitierstil (17. Ausg.)Lahav, Ori. "From Frame Properties to Hypersequent Rules in Modal Logics." 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science Jun. 2013: 408-417. https://doi.org/10.1109/LICS.2013.47.
MLA-Zitierstil (9. Ausg.)Lahav, Ori. "From Frame Properties to Hypersequent Rules in Modal Logics." 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun. 2013, pp. 408-417, https://doi.org/10.1109/LICS.2013.47.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.