scientific article; zbMATH DE number 2105671

zbMath1049.03019MaRDI QIDQ4820959

A. G. Kravtsov

Publication date: 1 October 2004

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

zbMATH Keywords

decidabilityextensions of modal logic \(\text{SL}^n\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

This page was built for publication: