scientific article; zbMATH DE number 834565
From MaRDI portal
Publication:4860652
zbMath0838.03015MaRDI QIDQ4860652
Publication date: 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesstemporal databasestemporal informationtime intervalsmodal operatorsabsolute and relative temporal referencesinterval-based positional logicpositional operators
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)
This page was built for publication: