Logics of Modal Terms for Systems Specification

DOI10.1093/logcom/1.2.187zbMath0723.68070OpenAlexW2053853349MaRDI QIDQ3210907

José Luiz 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)

Related Items

On the nature of events, Temporal theories as modularisation units for concurrent system specification, Models for the substitution axiom of UNITY logic