Julius Andrikonis
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Cut-elimination for knowledge logics with interaction Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-06-10 | Paper |
| Loop-free sequent calculus for modal logic K4 Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-05-30 | Paper |
| Contraction-free calculi for modal logics S5 and KD45 Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-03-16 | Paper |
| Loop-free calculus for modal logic S4. I Lithuanian Mathematical Journal | 2014-01-15 | Paper |
| Loop-free calculus for modal logic S4. II Lithuanian Mathematical Journal | 2014-01-15 | Paper |
| Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom Lithuanian Mathematical Journal | 2009-12-15 | Paper |
Research outcomes over time
This page was built for person: Julius Andrikonis
