Logics of Modal Terms for Systems Specification
From MaRDI portal
Publication:3210907
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
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
On the nature of events ⋮ Temporal theories as modularisation units for concurrent system specification ⋮ Models for the substitution axiom of UNITY logic
This page was built for publication: Logics of Modal Terms for Systems Specification