Web Library
Publication Searh
Русский
Publication
Article, Moscow, 2008
Publisher:
Труды XI Национальной конференции по искусственному интеллекту с международным участием, 28 сент.-3 окт. 2008, Дубна, Издат. 'ЛЕНАНД',стр. 235-239
Authors:
Valiev M.K.
INTERPOLATION THEOREM FOR V.PRATT`S PROCESS LOGIC
Abstract:
A generalization is proposed of the interpolation theorem for propositional dynamic logic (T.Kowalsky, 2002) to a variant of propositional process logic introduced by V.Pratt (1979).
Publication language:
russian
,
pages:
5
Research direction:
Programming, parallel computing, multimedia
Russian source text:
https://keldysh.ru/papers/2008/source/article/Kii08.pdf
List of publications citation:
Citing articles in Google Scholar
Export link to publication in format:
RIS
BibTeX
About authors:
Valiev M. K., ,
KIAM RAS