Reasoning about epistemic social network dynamics using dynamic term-modal logic.
Andrés Occhipinti LibermanRasmus K. RendsvigPublished in: J. Log. Comput. (2022)
Keyphrases
- modal logic
- modal operators
- epistemic logic
- social networks
- temporal logic
- inference rules
- decision procedures
- kripke models
- dynamic environments
- classical logic
- social network analysis
- nonmonotonic logics
- dynamical systems
- situation calculus
- social networking
- dynamic logic
- prime implicates
- explanation based generalization
- description logic alc
- social media