KIAM Main page 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
Source text:
  (PDF)