scientific article
From MaRDI portal
Publication:2904064
zbMath1254.03018MaRDI QIDQ2904064
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilityinterval temporal logicproducts of modal logicslack of finite model propertyunimodal logics
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items (1)
This page was built for publication:
