Dynamic Term-Modal Logic for Epistemic Social Network Dynamics

Matematik

• Axiom 7%
• Class 2%
• Dynamic Logic 11%
• Epistemic Logic 12%
• Framework 4%
• Hybrid Logic 12%
• Logic 13%
• Modal Logic 64%
• Network Dynamics 86%
• Network Model 9%
• Semantics 7%
• Social Dynamics 100%
• Social Networks 70%
• Term 31%
• Uncertainty 13%