scientific article

zbMath0978.03520MaRDI QIDQ2757802

José Carmo, Renwei Li

Publication date: 4 December 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationknowledge representationreal-time systemsactionobligationmodal operatorsystem specificationprohibitioninterval-based modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: