The following pages link to Regimantas Pliuškevičius (Q1344879):
Displaying 50 items.
- (Q200170) (redirect page) (← links)
- The saturated tableaux for linear miniscope Horn-like temporal logic (Q1344880) (← links)
- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas (Q1589838) (← links)
- Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic (Q1807462) (← links)
- Effective replaceability of the omega-rule for restricted sequents of the first-order linear temporal logic (Q1873220) (← links)
- On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic (Q1873230) (← links)
- A decision procedure for nonperiodic sequents of the first-order linear temporal logic (Q1881801) (← links)
- Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- A sequential variant of constructive logic calculi for normal formulas not containing structural rules (Q2543323) (← links)
- Invertible infinitary calculus without loop rules for restricted FTL (Q2577594) (← links)
- (Q2757835) (← links)
- (Q2767084) (← links)
- (Q2791889) (← links)
- (Q2791890) (← links)
- (Q2791893) (← links)
- Method of marks for propositional linear temporal logic (Q2799590) (← links)
- (Q2799620) (← links)
- (Q2799622) (← links)
- (Q2809679) (← links)
- (Q2809680) (← links)
- (Q2811594) (← links)
- Nikolai Aleksandrovich Shanin (obituary) (Q2868459) (← links)
- (Q3080428) (← links)
- (Q3358711) (← links)
- A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 (Q3406694) (← links)
- A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4 (Q3406695) (← links)
- (Q3464010) (← links)
- (Q3607561) (← links)
- (Q3617019) (← links)
- Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables (Q3623966) (← links)
- (Q3663254) (← links)
- (Q3671134) (← links)
- (Q3689162) (← links)
- (Q3689163) (← links)
- (Q3693508) (← links)
- (Q3758809) (← links)
- (Q3760512) (← links)
- (Q3783271) (← links)
- (Q3783272) (← links)
- (Q3888519) (← links)
- (Q3902456) (← links)
- (Q3960694) (← links)
- Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic (Q4236063) (← links)
- (Q4244315) (← links)
- (Q4260367) (← links)
- (Q4264066) (← links)
- (Q4282615) (← links)
- (Q4333381) (← links)
- (Q4364518) (← links)
