Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference22 articles.
1. Afshari, B., and G. E. Leigh, Cut-free completeness for modal mu-calculus, in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 2017, pp. 1–12.
2. Alonderis, R., R. Pliuškevičius, A. Pliuškevičienė, and H. Giedra, Loop-type sequent calculi for temporal logic, Journal of Automated Reasoning 64(8):1663–1684, 2020.
3. Andrikonis, J., and R. Pliuškevičius, Contraction-free calculi for modal logics S5 and KD45, Lietuvos matematikos rinkinys, LMD darbai 52:237–242, 2011.
4. Brodsky, I. N., Enthymeme reconstruction, Bulletin of Leningrad State University 6(1):40–44, 1988.
5. Brotherston, J., Cyclic proofs for first-order logic with inductive definitions, in TABLEAUX, vol. 3702 of Lecture Notes in Artificial Intelligence, Springer Verlag, 2005, pp. 78–92. https://doi.org/10.1007/11554554_8.