Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks.

Dov M. Gabbay Gadi Rozenberg

Published in: FLAP (2023)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
transition systems
computation tree logic
social networks
verification method
linear temporal logic
belief revision
model checker
temporally extended
bounded model checking
multi agent
reactive systems