Book Chapter
Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
Regimantas Pliuškevičius
Lecture Notes in Computer Science, 1991, Volume 502, Baltic Computer Science, Pages 504-528
Book Chapter
Logical foundation for logic programming based on first order linear temporal logic
Regimantas Pliuškevičius
Lecture Notes in Computer Science, 1992, Volume 592, Logic Programming, Pages 391-406
Book Chapter
Sequential calculus for proving the properties of regular programs
Aida Pliuškevičienė
Lecture Notes in Computer Science, 1992, Volume 620, Logical Foundations of Computer Science — Tver '92, Pages 370-381
Book Chapter
On the saturation principle for a linear temporal logic
Regimantas Pliuskevicius
Lecture Notes in Computer Science, 1993, Volume 713, Computational Logic and Proof Theory, Pages 289-300
Book Chapter
On saturated calculi for a linear temporal logic
Regimantas Pliuškevičius
Lecture Notes in Computer Science, 1993, Volume 711, Mathematical Foundations of Computer Science 1993, Pages 640-649
Book Chapter
Systems LJm, LJ
The University Series in Mathematics, 2002, A Short Introduction to Intuitionistic Logic, Part II, Pages 109-118
Book Chapter
Similarity saturation for first order linear temporal logic with UNLESS
Regimantas Pliuškevičius
Lecture Notes in Computer Science, 1996, Volume 1126, Logics in Artificial Intelligence, Pages 320-336
Book Chapter
Design complete sequential calculus for continuous fixpoint temporal logic
Regimantas Pliuškevičius
Lecture Notes in Computer Science, 1992, Volume 633, Logics in AI, Pages 36-51
Book Chapter
Investigation of finitary calculi for the temporal logics by means of infinitary calculi
Regimantas Pliuškevičius
Lecture Notes in Computer Science, 1990, Volume 452, Mathematical Foundations of Computer Science 1990, Pages 464-469
Book Chapter
Complete sequential calculi for the first order symmetrical linear temporal logic with until and since
Regimantas Pliuškevičius
Lecture Notes in Computer Science, 1992, Volume 620, Logical Foundations of Computer Science — Tver '92, Pages 382-393