Publisher
Springer International Publishing
Reference43 articles.
1. Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artif. Intell. 4(3–4), 225–248 (1991).
https://doi.org/10.1007/BF01531058
2. Baelde, D., Lick, A., Schmitz, S.: A hypersequent calculus with clusters for linear frames. In: AiML 2018: Advances in Modal Logic, vol. 12, pp. 36–55. College Publications (2018).
https://hal.inria.fr/hal-01756126
3. Baelde, D., Lick, A., Schmitz, S.: A hypersequent calculus with clusters for tense logic over ordinals. In: FSTTCS 2018. Leibniz International Proceedings in Informatics (LZI), vol. 122, pp. 15:1–15:19 (2018).
https://doi.org/10.4230/LIPIcs.FSTTCS.2018.15
4. Baelde, D., Lunel, S., Schmitz, S.: A sequent calculus for a modal logic on finite data trees. In: CSL 2016. Leibniz International Proceedings in Informatics (LZI), vol. 62, pp. 32:1–32:16 (2016).
https://doi.org/10.4230/LIPIcs.CSL.2016.32
5. Belnap, N.D.: Display logic. J. Philos. Logic 11(4), 375–417 (1982).
https://doi.org/10.1007/BF00284976
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献