previous up next
Go backward to Validity and Provability
Go up to Top
Go forward to Describing Programs with RTLA
RISC-Linz logo

The Raw Logic

Raw Temporal Logic of Actions (RTLA)

TLA formulas will be subset of RTLA formulas.


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next