scientific article; zbMATH DE number 887302

zbMath0847.03012MaRDI QIDQ4881681

Stéphane P. Demri

Publication date: 11 June 1996

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

zbMATH Keywords

model constructionvalidity problemData Analysis Logic with Local Agreement

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Related Items (3)

A hierarchy of modal logics with relative accessibility relations ⋮ A class of decidable information logics ⋮ A polynomial space construction of tree-like models for logics with local chains of modal connectives

This page was built for publication: