1 | Alonderis, Romas; Pliuškevičius, Regimantas Ričardas; Pliuškevičienė, Aida; Giedra, Haroldas. Loop-type sequent calculi for temporal logic // Journal of automated reasoning. Dordrecht : Springer. ISSN 0168-7433. eISSN 1573-0670. 2020, vol. 64, iss. 8, p. 1663-1684. DOI: 10.1007/s10817-020-09544-1. |
2 | Alonderis, Romas; Giedra, Haroldas. A proof-search system for the logic of likelihood // Logic journal of the IGPL. Oxford : Oxford University Press. ISSN 1367-0751. 2020, vol. 28, no. 3, p. 261-280. DOI: 10.1093/jigpal/jzz022. |
3 | Giedra, Haroldas; Alonderis, Romas. Applications of logic of correlated knowledge to quantum mechanics = Koreliatyvių žinių logikos taikymas kvantinėje mechanikoje // Lietuvos matematikos rinkinys. Ser. A. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. eISSN 2335-898X. 2018, t. 59, p. 1-6. DOI: 10.15388/LMR.A.2018.01. |
4 | Giedra, Haroldas; Sakalauskaitė, Jūratė; Alonderis, Romas. Decidability of logic of correlated knowledge // Informatica / Matematikos ir informatikos institutas. Vilnius : Lietuvos mokslų akademijos leidykla. ISSN 0868-4952. 2014, vol. 25, no. 4, p. 541-550. DOI: 10.15388/Informatica.2014.28. |
5 | Giedra, Haroldas; Sakalauskaitė, Jūratė. Sequent calculus with algorithmic properties for logic of correlated knowledge // How the world computes : CiE 2012 : Turing centenary conference : abstracts, University of Cambridge, 18-23 June, 2012. Cambridge : University of Cambridge. 2012, p. 60. Prieiga per internetą: <http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/abstracts-booklet.pdf>. |
6 | Giedra, Haroldas; Sakalauskaitė, Jūratė. Sequent calculus for logic of correlated knowledge = Sekvencinis skaičiavimas koreliatyvių žinių logikai // Lietuvos matematikos rinkinys. LMD darbai. Vilnius : Matematikos ir informatikos institutas. ISSN 0132-2818. 2011, t. 52, p. 243-248. DOI: 10.15388/LMR.2011.ml04. |
7 | Giedra, Haroldas. Cut free sequent calculus for logic S5_n(ED) // Lietuvos matematikos rinkinys. Lietuvos matematikų draugijos darbai. ISSN 0132-2818. 2010, T. 51, p. 336-341. DOI: 10.15388/LMR.2010.61. |