Logics of Modal Terms for Systems Specification

Jose Fiadeiro, Amilcar Sernadas

Research output: Contribution to journalArticlepeer-review

13 Citations (Scopus)


The use of modal qualification on terms is advocated for a more intuitive account of the description of the effects of events on objects such as program variables or database attributes, and also for an easier verification of the intended temporal integrity constraints. We develop two logics of modal terms focusing on positional and temporal qualification, and show by means of an example how they can be used to support the description and prescription of actions, as well as to reason about the properties of the specified systems.
Original languageEnglish
Pages (from-to)187-227
Number of pages41
JournalJournal of Logic and Computation
Issue number2
Publication statusPublished - 1 Dec 1990


Dive into the research topics of 'Logics of Modal Terms for Systems Specification'. Together they form a unique fingerprint.

Cite this