Results 101 to 110 of about 3,323 (276)
Abstract This paper examines the experiences of Nigerian cross‐border students in UK higher education, focusing on how colonial legacies continue to shape the interplay between structure and agency. Three key themes emerged in the analysis of the data: First, the persistence of a ‘West is Best’ mentality reflects the internalisation of colonial ...
Jennifer Marshall, Jack Bryne Stothard
wiley +1 more source
Dynamic-Epistemic Spatial Logic [PDF]
We propose a new logic for expressing properties of concurrent and distributed systems, Dynamic Epistemic Spatial Logic, as an extension of Hennessy-Milner logic with spatial and epistemic operators.
Priami, Corrado, Mardare, Radu
core
Multi-type display calculus for dynamic epistemic logic
International audienceIn the present article, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus.
Sikimic, Vlasta +4 more
core +1 more source
English teachers' journeys since the 2020 Iteration of Black Lives Matter
Abstract The 2020 resurgence of Black Lives Matter (BLM) mobilised students in England to demand greater representation of racially minoritised voices in English curriculums—a call highlighted by stark inequity: just 1.5% of GCSE texts studied are by racially minoritised authors, despite racially minoritised students comprising 38.0% of the student ...
Adrian Fernandes
wiley +1 more source
Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
The advent of 6G networks is accelerating autonomy, intelligence, and interconnectedness in large-scale, decentralized multi-agent systems (MAS). While this evolution enables highly adaptive behavior, it also heightens vulnerability to stressors such as ...
Tamara Alshammari, Mehdi Bennis
doaj +1 more source
Knowing education in Thailand like a global expert organisation: Politics, context and data
Abstract Global expert organisations play increasingly significant roles in the way that education is understood and governed internationally, including by influencing the discourses through which education is conceptualised and shaping norms of what counts as success, failure, progress and the most desirable visions for the future.
Steve Puttick +6 more
wiley +1 more source
Aximo: automated axiomatic reasoning for information update
Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result:
Richards, Simon, Sadrzadeh, Mehrnoosh
core
Otherwise engaged? Learning from non‐participation in research with care‐experienced students
Abstract This paper explores what can be learned when educational research “fails.” Drawing on a Welland Trust–funded project in the North East of England that aimed to support care‐experienced students transitioning from further to higher education, we reflect on why, despite sustained effort, there was a lack of engagement.
Lynette Harland Shotton +3 more
wiley +1 more source
This paper redefines fairness in artificial intelligence by centering neurodiversity as an axis of justice, coequal with race, gender, and class.
Joffrey Baeyaert
doaj +1 more source
On the connection between the categorical and the modal logic approaches to Quantum Mechanics [PDF]
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps.
Cinà, Giovanni
core

