previous up next
Go backward to Natural Language Atomic Formulas
Go up to Top
Go forward to Example
RISC-Linz logo

Semantics of Atomic Formulas

Definition: The meaning of an atomic formula pc(t0, ..., tn-1) under an assignment a


Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next