Restriction Constructions in Specification Logics.

Martin Große-Rhode Hartmut Ehrig

Published in: Bull. EATCS (1992)

Keyphrases

expressive power
inference rules
formal specification
high level
multi agent
modal logic
web services
case study
multiscale
search algorithm
expert systems
specification language
propositional calculus
propositional dynamic logic