Inevitability in Branching Time.

José Carmo Amílcar Sernadas

Published in: Logic at Botik (1989)

Keyphrases

temporal logic
temporal reasoning
epistemic logic
model checking
artificial intelligence
multi agent systems
supervised learning
rough sets