scientific article; zbMATH DE number 1735908

zbMATH Open0993.03015MaRDI QIDQ4329271

Stéphane Demri

Publication date: 25 September 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

computational complexitymodal logicreductiondecidabilitysatisfiabilityaxiomatizationinformation logicspolymodal logicsrare-logicsrelative operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15)

Related Items (1)

On modal logics characterized by models with relative accessibility relations. II

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4329271)