| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6136878 | 2024-01-17 | Paper |
| Loop-check specification for a sequent calculus of temporal logic | 2022-11-29 | Paper |
| Finite sequent calculi for PLTL | 2022-10-18 | Paper |
| Loop-type sequent calculi for temporal logic | 2021-02-17 | Paper |
| Similarity saturation for first order linear temporal logic with UNLESS | 2019-10-08 | Paper |
| Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus | 2018-12-11 | Paper |
| Loop-free verification of termination of derivation for a fragment of dynamic logic | 2016-06-10 | Paper |
| Termination of derivations for minimal tense logic | 2016-05-30 | Paper |
| A method of marks and indices for linear modal logic | 2016-05-30 | Paper |
| Sequent systems for PLTL | 2016-04-13 | Paper |
| Method of marks for propositional linear temporal logic | 2016-04-13 | Paper |
| Two complete finitary sequent calculi for reflexive common knowledge | 2016-04-13 | Paper |
| Contraction-free calculi for modal logics S5 and KD45 | 2016-03-16 | Paper |
| Cut, invariant rule, and loop-check free sequent calculus for PLTL | 2016-03-16 | Paper |
| A specialization of definitions in common knowledge logic | 2016-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464010 | 2016-01-20 | Paper |
| Obituary: Nikolai Aleksandrovich Shanin (1919--2011) | 2013-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3080428 | 2011-03-10 | Paper |
| A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 | 2010-02-19 | Paper |
| A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4 | 2010-02-19 | Paper |
| Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables | 2009-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3617019 | 2009-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607561 | 2009-03-02 | Paper |
| Invertible infinitary calculus without loop rules for restricted FTL | 2006-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5696557 | 2005-10-18 | Paper |
| A decision procedure for nonperiodic sequents of the first-order linear temporal logic | 2004-10-15 | Paper |
| Effective replaceability of the omega-rule for restricted sequents of the first-order linear temporal logic | 2003-05-19 | Paper |
| On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic | 2003-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4539601 | 2002-07-10 | Paper |
| Infinitary calculus without loop rules for restricted sequents of the first-order linear temporal logic | 2002-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767084 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757835 | 2001-12-04 | Paper |
| Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas | 2001-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501159 | 2000-09-03 | Paper |
| Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic | 1999-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264066 | 1999-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260367 | 1999-09-19 | Paper |
| Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic | 1999-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244315 | 1999-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375816 | 1998-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364518 | 1998-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4333381 | 1997-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4841298 | 1995-12-13 | Paper |
| The saturated tableaux for linear miniscope Horn-like temporal logic | 1995-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282615 | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358711 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202985 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783271 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783272 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758809 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3760512 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3693508 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689163 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3663254 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689162 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671134 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960694 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902456 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888519 | 1979-01-01 | Paper |
| A sequential variant of constructive logic calculi for normal formulas not containing structural rules | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5565107 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5565108 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604460 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5606587 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5519124 | 1965-01-01 | Paper |
