VU Matematikos ir informatikos fakulteto autoriaus 'Haroldas Giedra' publikacijų sąrašas
pagal Lietuvos akademinių bibliotekų tinklo (LABT) publikacijų bazę VUB:

Eil. Nr. Publikacija
1Alonderis, Romas; Pliuškevičienė, Aida; Giedra, Haroldas. Global condition check strategy for a cyclic sequent calculus of temporal logic // Lithuanian mathematical journal. New York : Springer. ISSN 0363-1672. eISSN 1573-8825. 2025, first published online, p. [1-12]. DOI: 10.1007/s10986-025-09671-5.
2Alonderis, Romas; Giedra, Haroldas. Gentzen-type sequent calculus for modal logic S5 // Logic journal of the IGPL. Oxford : Oxford University Press. ISSN 1367-0751. eISSN 1368-9894. 2025, Early Access, p. [1-12]. DOI: 10.1093/jigpal/jzaf007.
3Alonderis, Romas; Giedra, Haroldas. Cut-free sequent calculus for multi-agent logic of common knowledge // Contemporary mathematics. Singapore : Universal Wiser Publisher. ISSN 2705-1064. eISSN 2705-1056. 2025, vol. 6, iss. 2, p. 1988-2003. DOI: 10.37256/cm.6220255621.
4Alonderis, Romas; Pliuškevičius, Regimantas Ričardas; Pliuškevičienė, Aida; Giedra, Haroldas. Loop-check specification for a sequent calculus of temporal logic // Studia logica. Dordrecht : Springer. ISSN 0039-3215. eISSN 1572-8730. 2022, vol. 110, p. 1507-1536. DOI: 10.1007/s11225-022-10010-9.
5Dagys, Jonas; Pabijutaitė, Živilė; Giedra, Haroldas. Representing Buridan’s divided modal propositions in first-order logic // History and philosophy of logic. Abingdon : Taylor & Francis. ISSN 0144-5340. eISSN 1464-5149. 2022, vol. 43, iss. 3, p. 264-274. DOI: 10.1080/01445340.2021.1976042.
6Dagys, Jonas; Giedra, Haroldas; Pabijutaitė, Živilė. Inferences between Buridan’s modal propositions = Išvedimai tarp Buridano modalinių teiginių // Problemos. Vilnius : Vilniaus universiteto leidykla. ISSN 1392-1126. eISSN 2424-6158. 2022, t. 101, p. 31-41. DOI: 10.15388/Problemos.101.3.
7Alonderis, 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.
8Giedra, Haroldas; Alonderis, Romas. Automated proof search system for logic of correlated knowledge // American journal of mathematical and computer modelling : Science publishing group. ISSN 2578-8272. eISSN 2578-8280. 2020, vol. 5, no. 2, p. 29-42. DOI: 10.11648/j.ajmcm.20200502.11.
9Alonderis, 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.
10Alonderis, Romas; Giedra, Haroldas. A derivation-loop method for temporal logic = Įrodymo ciklų metodas laiko logikai // Lietuvos matematikos rinkinys. Ser. A. Vilnius : Vilniaus universiteto leidykla. ISSN 0132-2818. eISSN 2335-898X. 2019, t. 60, p. 1-6. DOI: 10.15388/LMR.A.2019.14953.
11Giedra, 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.