scientific article; zbMATH DE number 1444735

MaRDI QIDQ4952316zbMATH OpenFDO

Authors Isabel Nunes, José Fiadeiro, Władysław M. Turski

Publication date 8 October 2000

zbMATH Keywords

action executiondurative actionsdyadic action modalitiesmodal logicspecificationstransition system

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 4055577
• scientific article; zbMATH DE number 1678355
• Logics of Modal Terms for Systems Specification
• scientific article; zbMATH DE number 1523045
• Parallel action: Concurrent dynamic logic with independent modalities

Cited in

(5)

• A reduction of doxastic logic to action logic
• scientific article; zbMATH DE number 2038898 (Why is no real title available?)
• scientific article; zbMATH DE number 7454909 (Why is no real title available?)
• A temporal logic for modelling activities of daily living
• Sharing actions and attributes in modal action logic

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