Logic and 

Social Science

2013


A. Baltag, Z. Christoff, J.U. Hansen and S. Smets. Logical Models of Informational Cascades. In J. van Benthem and F. Liu (eds.), Studies in Logic. College Publications, Volume 47, pp. 405-432, 2013.


2017


S. Smets and F. R. Velázquez-Quesada, How to Make Friends: A Logical Approach to Social Group Creation, Lecture Notes of Computer Science Volume 10455, 277-390, Springer 2017. [Springer link]


S. Smets and F.R. Velazquez-Quesada. A logical perspective on social group creation. In The Logica Yearbook 2017, pp. 271-288, College Publications London, UK, 2018.

2018

S. Smets and F. R. Velázquez-Quesada, The Creation and Change of Social Networks: a logical study based on group size. Proceedings of DALI Workshop, Lecture Notes of Computer Science, vol. 10669, pp. 171-184, Springer. 2018.

A. Baltag, R. Boddy and S. Smets. Group knowledge in interrogative epistemology. In the Springer series ‘outstanding contributions to logic’, volume dedicated to J. Hintikka, 2017-2018.


A. Baltag, Z. Christoff, R. Rendsvig, S. Smets. Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks, Studia Logica, 1-43, online first, 2018.


S. Smets and F. R. Velázquez-Quesada. A closeness- and priority-based logical study of social network creation. Submitted to Journal of Logic, Language and Information.


2019


S. Smets and F. R. Velázquez-Quesada. A logical study of group-size based social network creation. In Journal of Logical and Algebraic Methods in Programming, Volume 106, Pages 117-140, 2019.


S. Smets and F. R. Velázquez-Quesada. Philosophical Aspects of Multi-Modal Logic, in the Stanford Encyclopedia of Philosophy.


H. van Lee and S. Smets, The Logic of Observation and Belief Revision in Scientific Communities. In Journal for General Philosophy of Science, 1-24, published online first, 2019.


M. Young Pedersen, S. Smets, T. Ågotnes. Analyzing Echo Chambers: A Logic of Strong and Weak Ties. In Proceedings of

Logic, Rationality, and Interaction; 7th International Workshop. Lecture Notes in Computer Science book series (LNCS, volume 11813), Pages 183-198. [Springer link]


2020


M. Young Pedersen, S. Smets, T. Ågotnes. Further Steps Towards a Logic of Polarization in Social Networks. In CLAR 2020 proceedings, LNAI 12061, Springer. In print.


S. Smets and F.R. Velázquez-Quesada. A logical analysis of the interplay between social influence and friendship selection. Lecture Notes in Computer Science Dynamic Logic. New Trends and Applications, page 71–87, 2020. 


S. Smets and F.R.  Velázquez-Quesada. A Closeness- and Priority-Based Logical Study of Social Network Creation, Journal of Logic, Language and Information, 29:21–51, 2020.


2021


M. Y. Pedersen, M. Slavkovik and S. Smets.  Social Bot Detection as a Temporal Logic Model Checking Problem, In Lecture Notes in Computer Science book series (LNCS), volume 13039:158-173 , 2021.


2022


G. Primiero, M. Slavkovik, S. Smets (eds.) Special Issue. Introduction `Netreason: Reasoning about social networks', Journal of Logic and Computation 32 (6), 1015-1016, 2022.


2023


M.Y. Pedersen, M. Slavkovik and S. Smets, Detecting bots with temporal logic. Synthese, vol. 202(79), 2023.