Login / Signup

Modal Logics in Timed Process Algebras.

Lubos Brim
Published in: NAPAW (1992)
Keyphrases
  • modal logic
  • decision procedures
  • inference rules
  • special case
  • temporal logic
  • classical logic