Logics of Modal Terms for Systems Specification

Jose Fiadeiro, Amilcar Sernadas

Research output: Contribution to journalArticle

13 Citations (Scopus)

Abstract

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
Volume1
Issue number2
DOIs
Publication statusPublished - 1 Dec 1990

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

  • Cite this