Dynamic Term-Modal Logic for Epistemic Social Network Dynamics.
Andrés Occhipinti LibermanRasmus K. RendsvigPublished in: LORI (2019)
Keyphrases
- modal logic
- network dynamics
- dynamic networks
- epistemic logic
- temporal logic
- modal operators
- inference rules
- social networks
- network analysis
- nonmonotonic logics
- online social networks
- explanation based generalization
- situation calculus
- classical logic
- dynamic behavior
- dynamic logic
- kripke models
- human behavior
- social network analysis
- autoepistemic logic
- multi faceted
- conditional logic
- prime implicates
- ground truth
- multi agent systems
- multi agent