Logics of Modal Terms for Systems Specification

J. Fiadeiro, A. Sernadas

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)187-227
Number of pages41
JournalJournal of Logic and Computation
Volume1
Issue number2
DOIs
Publication statusPublished - 1 Dec 1990

Cite this