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
Works in Lietuvos Matematikos Rinkinys, 2024, Vol 65, Issue Series A
Results: 5
1
2
Dirichlet problem in one-dimensional billiard space with velocity dependent right-hand side.
- Published in:
- Lietuvos Matematikos Rinkinys, 2024, v. 65, n. Series A, p. 25, doi. 10.15388/lmd.2024.37775
- By:
- Publication type:
- Article
3
Grouping based calculus for propositional linear temporal logic.
- Published in:
- Lietuvos Matematikos Rinkinys, 2024, v. 65, n. Series A, p. 18, doi. 10.15388/lmd.2024.37368
- By:
- Publication type:
- Article
4
Evaluating a double integral using Euler's method and Richardson extrapolation.
- Published in:
- Lietuvos Matematikos Rinkinys, 2024, v. 65, n. Series A, p. 39, doi. 10.15388/lmd.2024.38091
- By:
- Publication type:
- Article
5
Formula for Dupin cyclidic cube and Miquel point.
- Published in:
- Lietuvos Matematikos Rinkinys, 2024, v. 65, n. Series A, p. 1, doi. 10.15388/lmd.2024.37366
- By:
- Publication type:
- Article