Logics of Modal Terms for Systems Specification

DOI10.1093/LOGCOM/1.2.187MaRDI QIDQ3210907zbMATH OpenOpenAlexFDO

Authors José Fiadeiro, Amílcar Sernadas

Publication date 1990

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/1.2.187

zbMATH Keywords

logics of modal termspositional and temporal qualification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Application of modal logics to the specification and verification of programs
• scientific article; zbMATH DE number 1678355
• scientific article; zbMATH DE number 3936494
• scientific article; zbMATH DE number 3982508
• scientific article; zbMATH DE number 1304381

Cited in

(10)

• Temporal theories as modularisation units for concurrent system specification
• Models for the substitution axiom of UNITY logic
• scientific article; zbMATH DE number 1678355 (Why is no real title available?)
• scientific article; zbMATH DE number 38137 (Why is no real title available?)
• scientific article; zbMATH DE number 1304381 (Why is no real title available?)
• Fibring Modal First-Order Logics: Completeness Preservation
• NOTIONAL LOGIC OF SYSTEMS
• scientific article; zbMATH DE number 1444735 (Why is no real title available?)
• On the nature of events
• A Logic Approach for LTL System Modification

This page was built for publication: Logics of Modal Terms for Systems Specification

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