scientific article; zbMATH DE number 6863856
From MaRDI portal
Publication:4636289
zbMath1385.03036MaRDI QIDQ4636289
Stéphane P. Demri, Morgan Deters
Publication date: 23 April 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexitymodal logicfirst-order logicdecidabilitytemporal logicsecond-order logicexpressive powerseparation logic
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
