| Publication | Date of Publication | Type |
|---|
Loop-check specification for a sequent calculus of temporal logic
Studia Logica | 2022-11-29 | Paper |
Finite sequent calculi for PLTL
Lietuvos matematikos rinkinys | 2022-10-18 | Paper |
Loop-type sequent calculi for temporal logic
Journal of Automated Reasoning | 2021-02-17 | Paper |
Loop-check elimination for non-transitive distributed knowledge logic
Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-06-10 | Paper |
Elimination of loop-check for logic of idealized knowledge
Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-05-30 | Paper |
A method of marks and indices for linear modal logic
Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-05-30 | Paper |
| Decision procedure for a combination of logics KD4 and PDL | 2011-03-10 | Paper |
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
Journal Of Logic And Computation | 2010-02-19 | Paper |
Corrigendum to: ``A new method to obtain termination in backward proof search for modal logic S4
Journal Of Logic And Computation | 2010-02-19 | Paper |
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
Lecture Notes in Computer Science | 2009-04-28 | Paper |
| Termination of derivations in a fragment of transitive distributed knowledge logic | 2009-03-26 | Paper |
| scientific article; zbMATH DE number 5521794 (Why is no real title available?) | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 2215770 (Why is no real title available?) | 2005-10-18 | Paper |
| scientific article; zbMATH DE number 2095640 (Why is no real title available?) | 2004-08-30 | Paper |
| scientific article; zbMATH DE number 1678381 (Why is no real title available?) | 2001-12-04 | Paper |
Extended disjunction and existence properties for some predicate modal logics
Logic Journal of the IGPL | 2001-03-22 | Paper |
| scientific article; zbMATH DE number 1507194 (Why is no real title available?) | 2001-01-17 | Paper |
| scientific article; zbMATH DE number 1499105 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1337622 (Why is no real title available?) | 1999-09-21 | Paper |
| scientific article; zbMATH DE number 1215468 (Why is no real title available?) | 1998-10-26 | Paper |
| scientific article; zbMATH DE number 4197949 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4066843 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4010487 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3900149 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3791601 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3694574 (Why is no real title available?) | 1979-01-01 | Paper |
Extension of the inverse method to axiomatic theories with equality
Journal of Soviet Mathematics | 1976-01-01 | Paper |
Specialization of the use of axioms for deduction search in axiomatic theories with equality
Journal of Soviet Mathematics | 1973-01-01 | Paper |
Elimination of cut-type rules from the Robinson and Presburger axiomatic systems
Journal of Soviet Mathematics | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3541951 (Why is no real title available?) | 1973-01-01 | Paper |
A sequential variant of R. M. Robinson's arithmetic system not containing cut rules
Proceedings of the Steklov Institute of Mathematics | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3365214 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3365212 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3365213 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3353245 (Why is no real title available?) | 1969-01-01 | Paper |
