scientific article; zbMATH DE number 1304337
From MaRDI portal
Publication:4251068
zbMath0926.03017MaRDI QIDQ4251068
Zhou Chaochen, Rana Barua, Suman Roy
Publication date: 29 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessneighbourhood logicinterval modelsKripke model semanticsfirst-order interval temporal logicneighbourhood modalities
This page was built for publication:
