Haroldas Giedra

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 5

Top Topics

Mazurkiewicz Traces

Sequent Calculus

Top Venues

J. Autom. Reason.

Publications

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
Loop-Check Specification for a Sequent Calculus of Temporal Logic. Stud Logica 110 (6) (2022)
Romas Alonderis, Haroldas Giedra
A proof-search system for the logic of likelihood. Log. J. IGPL 28 (3) (2020)
Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
Loop-Type Sequent Calculi for Temporal Logic. J. Autom. Reason. 64 (8) (2020)
Romas Alonderis, Haroldas Giedra
A proof-search system for the logic of likelihood. Log. J. IGPL 28 (3) (2020)
Haroldas Giedra, Romas Alonderis
Automated proof search system for logic of correlated knowledge. CoRR (2019)
Haroldas Giedra, Jurate Sakalauskaite, Romas Alonderis
Decidability of Logic of Correlated Knowledge. Informatica 25 (4) (2014)