| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7790440 (Why is no real title available?) | 2024-01-17 | Paper |
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 |
Similarity saturation for first order linear temporal logic with UNLESS
Logics in Artificial Intelligence | 2019-10-08 | Paper |
Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
Baltic Computer Science | 2018-12-11 | Paper |
Loop-free verification of termination of derivation for a fragment of dynamic logic
Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-06-10 | Paper |
Termination of derivations for minimal tense logic
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 |
Sequent systems for PLTL
Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A | 2016-04-13 | Paper |
Method of marks for propositional linear temporal logic
Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A | 2016-04-13 | Paper |
Two complete finitary sequent calculi for reflexive common knowledge
Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A | 2016-04-13 | Paper |
Contraction-free calculi for modal logics S5 and KD45
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 |
A specialization of definitions in common knowledge logic
Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai | 2016-03-16 | Paper |
| Saturation method for reflexive common knowledge logic | 2016-01-20 | Paper |
Obituary: Nikolai Aleksandrovich Shanin (1919--2011)
Russian Mathematical Surveys | 2013-12-17 | Paper |
| Decision procedures for quantified fragments of reflexive common knowledge logic | 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 5521795 (Why is no real title available?) | 2009-03-02 | Paper |
Invertible infinitary calculus without loop rules for restricted FTL
Journal of Mathematical Sciences (New York) | 2006-01-03 | Paper |
| scientific article; zbMATH DE number 2215770 (Why is no real title available?) | 2005-10-18 | Paper |
A decision procedure for nonperiodic sequents of the first-order linear temporal logic
Lithuanian Mathematical Journal | 2004-10-15 | Paper |
Effective replaceability of the omega-rule for restricted sequents of the first-order linear temporal logic
Lithuanian Mathematical Journal | 2003-05-19 | Paper |
On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic
Lithuanian Mathematical Journal | 2003-05-19 | Paper |
| scientific article; zbMATH DE number 1765665 (Why is no real title available?) | 2002-07-10 | Paper |
Infinitary calculus without loop rules for restricted sequents of the first-order linear temporal logic
Lithuanian Mathematical Journal | 2002-01-29 | Paper |
| scientific article; zbMATH DE number 1696818 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1678382 (Why is no real title available?) | 2001-12-04 | Paper |
Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
Lithuanian Mathematical Journal | 2001-02-25 | Paper |
| scientific article; zbMATH DE number 1499105 (Why is no real title available?) | 2000-09-03 | Paper |
Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic
Journal of Mathematical Sciences (New York) | 1999-11-22 | Paper |
| scientific article; zbMATH DE number 1337627 (Why is no real title available?) | 1999-09-21 | Paper |
| scientific article; zbMATH DE number 1333594 (Why is no real title available?) | 1999-09-19 | Paper |
Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic
Journal of Applied Non-Classical Logics | 1999-07-15 | Paper |
| scientific article; zbMATH DE number 1292306 (Why is no real title available?) | 1999-05-30 | Paper |
| scientific article; zbMATH DE number 1114047 (Why is no real title available?) | 1998-05-10 | Paper |
| scientific article; zbMATH DE number 1088203 (Why is no real title available?) | 1998-04-15 | Paper |
| scientific article; zbMATH DE number 980417 (Why is no real title available?) | 1997-02-19 | Paper |
| scientific article; zbMATH DE number 782041 (Why is no real title available?) | 1995-12-13 | Paper |
The saturated tableaux for linear miniscope Horn-like temporal logic
Journal of Automated Reasoning | 1995-02-22 | Paper |
| scientific article; zbMATH DE number 517085 (Why is no real title available?) | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 4210108 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4197950 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4045714 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4045715 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4008371 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4010486 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3918336 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3912350 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3815600 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3912349 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3823749 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3783000 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3711339 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3694574 (Why is no real title available?) | 1979-01-01 | Paper |
A sequential variant of constructive logic calculi for normal formulas not containing structural rules
Proceedings of the Steklov Institute of Mathematics | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3280061 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3280062 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3325566 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3328157 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3231072 (Why is no real title available?) | 1965-01-01 | Paper |
