Žymių metodas tiesinei laiko logikai

Skaitomiausi šio autoriaus(ų) straipsniai

• Romas Alonderis, Regimantas Pliuškevičius, Sekvencinės sistemos PTL logikai , Lietuvos matematikos rinkinys: T. 54 (2013): A serija
• Aurimas Paulius Girčys, Regimantas Pliuškevičius, Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T. 54 (2013): A serija
• Regimantas Pliuškevičius, Aurimas Paulius Girčys, Prisotinimo metodas bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T. 53 (2012): A serija
• Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T. 56 (2015): A serija
• Romas Alonderis, Regimantas Pliuškevičius, Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T. 52 (2011)
• Julius Andrikonis, Regimantas Pliuškevičius, Dubliavimo eliminavimas modalumo logikoms S5 ir KD45 , Lietuvos matematikos rinkinys: T. 52 (2011)
• Aurimas Paulius Girčys, Regimantas Pliuškevičius, Išvedimų specializacija bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T. 52 (2011)