1 | Alonderis, 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. |
2 | Alonderis, 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. |
3 | Alonderis, 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. |
4 | Alonderis, 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. |
5 | Dagys, 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. |
6 | Dagys, 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. |
7 | 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. |
8 | Giedra, 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. |
9 | 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. |
10 | Alonderis, 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. |
11 | 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. |