Logics of Modal Terms for Systems Specification

• 1 January 1990
• journal article
• Published by Oxford University Press (OUP) in Journal of Logic and Computation
• Vol. 1  (2) , 187-227
• https://doi.org/10.1093/logcom/1.2.187

Abstract

Keywords

• MODAL TERMS
• LOGICS OF MODAL
• TERMS FOR SYSTEMS SPECIFICATION