scientific article; zbMATH DE number 4119593
From MaRDI portal
Publication:4733377
zbMath0683.68004MaRDI QIDQ4733377
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesstense logicfirst-order definabilityevent structurestemporal operatorscomputational semanticsperiod structurepoint structure
Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44) Theory of software (68N99) Theory of computing (68Q99)
Related Items (1)
This page was built for publication: