Login / Signup
Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.
Louise E. Moser
P. M. Melliar-Smith
George Kutty
Y. S. Ramakrishna
Published in:
Fundam. Informaticae (1994)
Keyphrases
</>
temporal logic
modal logic
decision procedures
model checking
mazurkiewicz traces
satisfiability problem
concurrent systems
predicate logic
linear temporal logic
belief revision
verification method
temporal knowledge
bounded model checking
computation tree logic
inference rules
nonmonotonic logics