Decision procedure for a combination of logics KD4 and PDL

There is not abstract,

Bibliographic Details
Main Author:	Aida Pliuškevičienė
Format:	Article
Language:	English
Published:	Vilnius University Press 2004-12-01
Series:	Lietuvos Matematikos Rinkinys
Online Access:	https://www.journals.vu.lt/LMR/article/view/32074

Internet