Get started
Author

Haroldas Giedra

Observed names: H Giedra, H. Giedra
Institution: Vilnius University
ORCID: 0000-0002-6852-5909
Observed ORCID: 0000-0002-6852-5909
OpenAlex ID: A5023598509
Loop-Type Sequent Calculi for Temporal Logic
2020 · R. Alonderis, R. Pliuškevičius, et al. · Journal of Automated Reasoning · 4
Cut free sequent calculus for logic S5n(ED)
2010 · Haroldas Giedra · Lietuvos matematikos rinkinys · 4
Loop-Check Specification for a Sequent Calculus of Temporal Logic
2022 · Romas Alonderis, Regimantas Pliuškevičius, et al. · Studia Logica · 2
Inferences Between Buridan’s Modal Propositions
2022 · Jonas Dagys, Haroldas Giedra, et al. · Problemos · 2
Sequent calculus for logic of correlated knowledge
2011 · Haroldas Giedra, Jūratė Sakalauskaitė · Lietuvos matematikos rinkinys · 2
Representing Buridan’s Divided Modal Propositions in First-Order Logic
2021 · Jonas Dagys, Živilė Pabijutaitė, et al. · History and Philosophy of Logic · 1
A proof-search system for the logic of likelihood
2019 · R Alonderis, H Giedra · Logic Journal of IGPL · 1
Decidability of Logic of Correlated Knowledge
2014 · Haroldas Giedra, Jūratė Sakalauskaitė, et al. · Informatica · 1
PDF
Global condition check strategy for a cyclic sequent calculus of temporal logic
2025 · Romas Alonderis, Aida Pliuškevičienė, et al. · Lithuanian Mathematical Journal
Cut-Free Sequent Calculus for Multi-Agent Logic of Common Knowledge
2025 · Romas Alonderis, Haroldas Giedra · Contemporary Mathematics
Gentzen-type sequent calculus for modal logic S5
2025 · R Alonderis, H Giedra · Logic Journal of IGPL
Decision Procedure for Temporal Logic Using Cyclic Sequent Calculi
2024 · R. Alonderis, A. Pliuškevičien˙ e, et al. · Research Square
PDF
A proof-search system for the logic of likelihood
2020 · R Alonderis, H Giedra · Logic Journal of IGPL
PDF
Automated Proof Search System for Logic of Correlated Knowledge
2020 · Haroldas Giedra, Romas Alonderis · American Journal of Mathematical and Computer Modelling
PDF
A derivation-loop method for temporal logic
2019 · Romas Alonderis, Haroldas Giedra · Lietuvos matematikos rinkinys
Applications of logic of correlated knowledge to quantum mechanics
2018 · Haroldas Giedra, Romas Alonderis · Lietuvos matematikos rinkinys
Įrodymų sistema koreliatyvių žinių logikai
2014 · Haroldas Giedra · Laba (Lietuvos akademinių bibliotekų direktorių asociacija)
Proof system for logic of correlated knowledge
2014 · Haroldas Giedra · Laba (Lietuvos akademinių bibliotekų direktorių asociacija)
Works count: 18
Citation count: 16
H-index: 2
I10-index:
Year
Topic
Type