Haroldas Giedra

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of six.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Gentzen-type sequent calculus for modal logic S5.
Log. J. IGPL, 2025

2022
Loop-Check Specification for a Sequent Calculus of Temporal Logic.
Stud Logica, 2022

2020
Loop-Type Sequent Calculi for Temporal Logic.
J. Autom. Reason., 2020

A proof-search system for the logic of likelihood.
Log. J. IGPL, 2020

2019
Automated proof search system for logic of correlated knowledge.
CoRR, 2019

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

Decidability of Logic of Correlated Knowledge.
Informatica, 2014


  Loading...