Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Reference48 articles.
1. Almukdad, A., & Nelson, D. (1984). Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49(1), 231–233.
2. Avron, A. (1996). The method of hypersequents in the proof theory of propositional non-classical logic. In Logic: From Foundations to Applications (pp. 1–32).
3. Bednarska, K., & Indrzejczak, A. (2015). Hypersequent calculi for S5: The methods of cut elimination. Logic and Logical Philosophy, 24(3), 277–311.
4. Clarke, E. M., Grumberg, O., Jha, S., Lu, Y., & Veith, H. (2003). Counterexample-guided abstraction refinement for symbolic model checking. Journal of the ACM, 50(5), 752–794.
5. Czermak, J. (1977). A remark on Gentzen’s calculus of sequents. Notre Dame Journal of Formal Logic, 18, 471–474.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献