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