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:
(
PDF
)
