Sophia Knight

Available identifiers

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	2023-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5875391	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	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5015398	2021-12-07	Paper
Announcement as effort on topological spaces	2021-11-29	Paper
Reasoning about distributed information with infinitely many agents	2021-08-03	Paper
Reasoning about knowledge and messages in asynchronous multi-agent systems	2018-12-04	Paper
Private announcements on topological spaces	2018-08-06	Paper
Asynchronous Announcements in a Public Channel	2016-02-25	Paper
Epistemic Strategies and Games on Concurrent Processes	2015-09-17	Paper
Partial Information and Uniform Strategies	2014-10-14	Paper
Bisimulation for Markov Decision Processes through Families of Functional Expressions	2014-06-02	Paper
Spatial and epistemic modalities in constraint-based process calculi	2012-09-25	Paper
Combining Epistemic Logic and Hennessy-Milner Logic	2012-07-16	Paper
Epistemic Strategies and Games on Concurrent Processes	2009-02-03	Paper

This page was built for person: Sophia Knight