Haroldas Giedra

Available identifiers

zbMath Open giedra.haroldasMaRDI QIDQ2106880

List of research outcomes

Publication	Date of Publication	Type
Representing Buridan’s Divided Modal Propositions in First-Order Logic	2024-12-06	Paper
Loop-check specification for a sequent calculus of temporal logic	2022-11-29	Paper
A derivation-loop method for temporal logic	2022-10-18	Paper
Applications of logic of correlated knowledge to quantum mechanics	2022-10-18	Paper
A proof-search system for the logic of likelihood	2022-06-16	Paper
A proof-search system for the logic of likelihood	2022-06-16	Paper
Loop-type sequent calculi for temporal logic	2021-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4639651	2018-05-11	Paper
Cut free sequent calculus for logic S5\(_n\)(ED)	2016-05-30	Paper
Sequent calculus for logic of correlated knowledge	2016-03-16	Paper

Research outcomes over time

This page was built for person: Haroldas Giedra