Loop-Check Specification for a Sequent Calculus of Temporal Logic.
- Published in:
- Studia Logica, 2022, v. 110, n. 6, p. 1507, doi. 10.1007/s11225-022-10010-9
- By:
- Publication type:
- Article
Works by Alonderis, Romas
Results: 4
1
2
Multi-succedent sequent calculus for intuitionistic epistemic logic.
- Published in:
- Lietuvos Matematikos Rinkinys, 2024, v. 65, n. Series A, p. 9, doi. 10.15388/lmd.2024.37367
- By:
- Publication type:
- Article
3
More efficient proof-search for sequents of temporal logic.
- Published in:
- Lietuvos Matematikos Rinkinys, 2022, v. 63, n. Series A, p. 1, doi. 10.15388/LMR.2022.29752
- By:
- Publication type:
- Article
4
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 1, doi. 10.1093/jigpal/jzl013
- By:
- Publication type:
- Article