Sophia R Knight

20092019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

Semantics Engineering & Materials Science
Logic Mathematics
Asynchronous Systems Mathematics
Concurrent Mathematics
Model checking Engineering & Materials Science
Scheduler Mathematics
Set theory Engineering & Materials Science
Modality Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2009 2019

Announcement as effort on topological spaces

van Ditmarsch, H., Knight, S. R. & Özgün, A., Jul 15 2019, In : Synthese. 196, 7, p. 2927-2969 43 p.

Research output: Contribution to journalArticle

axiomatization
semantics
Logic
Modality
Axiomatization
1 Citation (Scopus)

Reasoning about knowledge and messages in asynchronous multi-agent systems

Knight, S. R., Maubert, B. & Schwarzentruber, F., Jan 1 2019, In : Mathematical Structures in Computer Science. 29, 1, p. 127-168 42 p.

Research output: Contribution to journalArticle

Asynchronous Systems
Multi agent systems
Multi-agent Systems
Reasoning
Semantics
1 Citation (Scopus)

Private Announcements on Topological Spaces

van Ditmarsch, H., Knight, S. R. & Özgün, A., Jun 1 2018, In : Studia Logica. 106, 3, p. 481-513 33 p.

Research output: Contribution to journalArticle

Topological space
Logic
Topological Structure
Axiomatization
Knowledge

Preface

Bartoletti, M., Bocchi, L., Henrio, L. & Knight, S. R., Nov 29 2017, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 261

Research output: Contribution to journalEditorial

1 Citation (Scopus)

Announcement as effort on topological spaces

Van Ditmarsch, H., Knight, S. R. & Özgün, A., Jun 23 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 215, p. 283-297 15 p.

Research output: Contribution to journalConference article

Set theory
Semantics