scientific article; zbMATH DE number 2015290

MaRDI QIDQ4438121zbMATHFDO

Authors Fernando Náufel do Amaral, Edward Hermann Haeusler

Publication date 9 December 2003

zbMATH Keywords

axiomatizationtransition systemaction logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Propositional temporal logics: decidability and completeness
• scientific article; zbMATH DE number 910717
• Adequacy and complete axiomatization for timed modal logic
• scientific article; zbMATH DE number 2080209
• scientific article; zbMATH DE number 1222565

Cited in

(4)

• Adequacy and complete axiomatization for timed modal logic
• Completeness of a branching-time logic with possible choices
• scientific article; zbMATH DE number 1222565 (Why is no real title available?)
• EXPTIME-completeness of thorough refinement on modal transition 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 Q4438121)