Haroldas Giedra

According to our database, Haroldas Giedra authored at least 7 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2025

Gentzen-type sequent calculus for modal logic S5.

Romas Alonderis, Haroldas Giedra

Log. J. IGPL, 2025

2022

Loop-Check Specification for a Sequent Calculus of Temporal Logic.

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra

Stud Logica, 2022

2020

Loop-Type Sequent Calculi for Temporal Logic.

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra

J. Autom. Reason., 2020

A proof-search system for the logic of likelihood.

Romas Alonderis, Haroldas Giedra

Log. J. IGPL, 2020

2019

Automated proof search system for logic of correlated knowledge.

Haroldas Giedra, Romas Alonderis

CoRR, 2019

2014

Proof system for logic of correlated knowledge / ; Įrodymų sistema koreliatyvių žinių logikai.

Haroldas Giedra

PhD thesis, 2014

Decidability of Logic of Correlated Knowledge.

Haroldas Giedra, Jurate Sakalauskaite, Romas Alonderis

Informatica, 2014