| Publication | Date of Publication | Type |
|---|
More efficient proof-search for sequents of temporal logic
Lietuvos matematikos rinkinys | 2022-12-20 | Paper |
Loop-check specification for a sequent calculus of temporal logic
Studia Logica | 2022-11-29 | Paper |
Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic
Lietuvos matematikos rinkinys | 2022-10-18 | Paper |
Finite sequent calculi for PLTL
Lietuvos matematikos rinkinys | 2022-10-18 | Paper |
A derivation-loop method for temporal logic
Lietuvos matematikos rinkinys | 2022-10-18 | Paper |
Applications of logic of correlated knowledge to quantum mechanics
Lietuvos matematikos rinkinys | 2022-10-18 | Paper |
| A labelled sequent calculus for half-order modal logic | 2022-09-28 | Paper |
A proof-search system for the logic of likelihood
Logic Journal of the IGPL | 2022-06-16 | Paper |
A proof-search system for the logic of likelihood
Logic Journal of the IGPL | 2022-06-16 | Paper |
Loop-type sequent calculi for temporal logic
Journal of Automated Reasoning | 2021-02-17 | Paper |
| Decidability of logic of correlated knowledge | 2018-05-11 | Paper |
Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-06-10 | Paper |
Specialization of antecedent negation loop-rule for a fragment of propositional intuitionistic logic sequent calculus
Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-05-30 | Paper |
Sequent systems for PLTL
Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A | 2016-04-13 | Paper |
A sequent calculus for propositional temporal logic with time gaps
Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-03-16 | Paper |
Cut, invariant rule, and loop-check free sequent calculus for PLTL
Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-03-16 | Paper |
| scientific article; zbMATH DE number 6533384 (Why is no real title available?) | 2016-01-20 | Paper |
A proof-search procedure for intuitionistic propositional logic
Archive for Mathematical Logic | 2013-11-06 | Paper |
| scientific article; zbMATH DE number 5955763 (Why is no real title available?) | 2011-10-10 | Paper |
| Sequent calculus for propositional likelihood logic | 2009-03-02 | Paper |
A coding method for a sequent calculus of propositional logic
Lithuanian Mathematical Journal | 2008-09-22 | Paper |
Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic
Logic Journal of the IGPL | 2007-05-18 | Paper |
Sequent calculi for propositional star-free likelihood logic
Lithuanian Mathematical Journal | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2095638 (Why is no real title available?) | 2004-08-30 | Paper |
Glivenko classes of sequents for temporal logic with time gaps
Lithuanian Mathematical Journal | 2003-05-19 | Paper |
Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps
Lithuanian Mathematical Journal | 2002-01-29 | Paper |
Proof-theoretical investigation of temporal logic with time gaps
Lithuanian Mathematical Journal | 2001-10-23 | Paper |
