Dalinis pjūvio eliminavimas daugiamodalumų logikų junginiams su praeities laiku

Santrauka

Pateikiami sekvenciniai skaičiavimai daugiamodalumų logikų ir praeities laiko logikos junginiams. Įrodomas šių skaičiavimų pilnumas su apribota pjūvio taisykle. Kaip išvada plaukia šių junginių išsprendžiamumas.