Sophia Knight

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Toward a Formal Model for Group Polarization in Social Networks	2024-03-14	Paper
A Formal Model for Polarization under Confirmation Bias in Social Networks Logical Methods in Computer Science	2023-03-22	Paper
scientific article; zbMATH DE number 7649937 (Why is no real title available?)	2023-02-03	Paper
Truth Set Algebra: A New Way to Prove Undefinability	2022-08-08	Paper
A multi-agent model for polarization under confirmation bias in social networks (available as arXiv preprint)	2022-03-21	Paper
Announcement as effort on topological spaces	2021-12-07	Paper
Announcement as effort on topological spaces (available as arXiv preprint)	2021-12-07	Paper
Announcement as effort on topological spaces Synthese	2021-11-29	Paper
Reasoning about distributed information with infinitely many agents Journal of Logical and Algebraic Methods in Programming	2021-08-03	Paper
Reasoning about knowledge and messages in asynchronous multi-agent systems Mathematical Structures in Computer Science	2018-12-04	Paper
Private announcements on topological spaces Studia Logica	2018-08-06	Paper
Asynchronous announcements in a public channel Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
Epistemic strategies and games on concurrent processes ACM Transactions on Computational Logic	2015-09-17	Paper
Partial information and uniform strategies Lecture Notes in Computer Science	2014-10-14	Paper
Bisimulation for Markov decision processes through families of functional expressions Lecture Notes in Computer Science	2014-06-02	Paper
Spatial and epistemic modalities in constraint-based process calculi Lecture Notes in Computer Science	2012-09-25	Paper
Combining Epistemic Logic and Hennessy-Milner Logic Logic and Program Semantics	2012-07-16	Paper
Epistemic Strategies and Games on Concurrent Processes Lecture Notes in Computer Science	2009-02-03	Paper

Research outcomes over time

This page was built for person: Sophia Knight