scientific article; zbMATH DE number 1989649

zbMath1031.03031MaRDI QIDQ4430396

Stéphane P. Demri

Publication date: 9 October 2003

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

zbMATH Keywords

computational complexitymodal logicsatisfiabilitymulti-modal logicright linear grammar logic

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) Grammars and rewriting systems (68Q42) Complexity of proofs (03F20)

Related Items (2)

A polynomial space construction of tree-like models for logics with local chains of modal connectives ⋮ Deciding regular grammar logics with converse through first-order logic

This page was built for publication: