scientific article; zbMATH DE number 2079045

zbMATH Open1044.03513MaRDI QIDQ4474858FDOQ4474858

Authors: Valentin Shehtman, Alexander Vasil'evich Chagrov 

Publication date: 21 July 2004

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Undecidability and degrees of sets of sentences (03D35)

Cited In (4)

• Tabularity and post-completeness in tense logic
• Deciding regular grammar logics with converse through first-order logic
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• A note on strictly positive logics and word rewriting systems

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 Q4474858)