Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended Version).
Andrés Occhipinti LibermanRasmus K. RendsvigPublished in: CoRR (2019)
Keyphrases
- modal logic
- network dynamics
- dynamic networks
- epistemic logic
- modal operators
- temporal logic
- inference rules
- network analysis
- conditional logic
- social networks
- nonmonotonic logics
- dynamic behavior
- classical logic
- situation calculus
- online social networks
- social media
- kripke models
- dynamic logic
- prime implicates
- data mining
- temporal evolution
- autoepistemic logic
- model checking
- non stationary
- data sources
- explanation based generalization