Login / Signup

Logics of Modal Terms for Systems Specification.

José Luiz FiadeiroAmílcar Sernadas
Published in: J. Log. Comput. (1990)
Keyphrases
  • management system
  • modal logic
  • high level
  • distributed systems
  • natural language
  • knowledge based systems
  • complex systems
  • expressive power