scientific article

zbMath0972.03031MaRDI QIDQ2736204

Lars Thalmann

Publication date: 29 August 2001

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

zbMATH Keywords

possible worlds semanticsdynamic logicproof systemsterm-modal logicsinformation updatingreasoning about multi-agent systems

Mathematics Subject Classification ID

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)

A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Quantifier-free epistemic term-modal logic with assignment operator

This page was built for publication: