Temporal logic for social networks.
Vitor MachadoMario R. F. BenevidesPublished in: J. Log. Comput. (2022)
Keyphrases
- temporal logic
- social networks
- model checking
- satisfiability problem
- modal logic
- link prediction
- mazurkiewicz traces
- belief revision
- computation tree logic
- model checker
- verification method
- concurrent systems
- linear temporal logic
- network structure
- bounded model checking
- temporal reasoning
- temporal properties
- search algorithm