Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems.

Published in: Notre Dame J. Formal Log. (2001)

Keyphrases

data flow
temporal logic
incomplete knowledge
model checking
distributed systems
satisfiability problem
reactive systems
description logics
artificial intelligence
belief revision
predicate logic
mazurkiewicz traces