scientific article
zbMath0972.03031MaRDI QIDQ2736204
Publication date: 29 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
possible worlds semanticsdynamic logicproof systemsterm-modal logicsinformation updatingreasoning about multi-agent systems
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (4)
This page was built for publication: