Go backward to Validity and Provability
Go up to Top
Go forward to Describing Programs with RTLA

The Raw Logic

Raw Temporal Logic of Actions (RTLA)

TLA formulas will be subset of RTLA formulas.


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: tla1.tex,v 1.1 1996/04/29 08:36:08 schreine Exp schreine

Prev Up Next