# Deep Sequent Systems for Modal Logic

> Research article (http://www.iam.unibe.ch/til/publications/pubitems/pdfs/bru09.pdf, 2022) · cited 23× · AI/ML

**Wikidata**: [openalex:W2109349663](https://www.wikidata.org/wiki/openalex:W2109349663)  
**Source**: https://4ort.xyz/entity/deep-sequent-systems-for-modal-logic