Linear Time and Branching Time Semantics for Recursion with Merge.

J. W. de Bakker Jan A. Bergstra Jan Willem Klop John-Jules Ch. Meyer

Published in: ICALP (1983)

Keyphrases

epistemic logic
temporal logic
worst case
temporal reasoning
formal semantics
model checking
complex objects
semantic representation
databases
artificial intelligence
logic programming
semantic information
modal logic
transformation rules
logical language