Results 121 to 130 of about 825,268 (301)
Dynamic Epistemic Logic and Logical Omniscience
Logic and Logical Philosophy, 2015 Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as ...
openaire +3 more sources
Addressing racialised awarding gap in higher education: Insights from personal tutors
British Educational Research Journal, EarlyView.Abstract Situated within a wider cross‐institutional research project, this article provides an in‐depth case study of one higher education (HE) institution, focusing on how personal tutors make sense of racialised degree awarding disparities for both undergraduate and postgraduate students, how they perceive their responsibilities, the challenges and ...
Benjamin Ajibade +3 more
wiley +1 more source
, 2016 Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied logic that touches on topics in many areas, including Formal and Social Epistemology, Epistemic and Doxastic Logic, Belief ...
Renne, B., Baltag, A.
core
British Educational Research Journal, EarlyView.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
, 1999 Knowledge has been subject of philosophical study since ancient times. This is not surprising since knowledge is crucial to humans in order to control their actions and the appetite for acquiring it seems innate to the human race. Phi- losophy, therefore, has always occupied itself with the question as to the nature of knowledge.
openaire +2 more sources
English teachers' journeys since the 2020 Iteration of Black Lives Matter
British Educational Research Journal, EarlyView.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
Automatic verification of knowledge and time with NuSMV [PDF]
, 2007 We show that the problem of model checking multidimensional modal logics can be reduced to the problem of model checking ARCTL, an extension of the temporal logic CTL with action labels and operators to reason about actions. In particular, we introduce a
Franco Raimondi +9 more
core
Knowing education in Thailand like a global expert organisation: Politics, context and data
British Educational Research Journal, EarlyView.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
Otherwise engaged? Learning from non‐participation in research with care‐experienced students
British Educational Research Journal, EarlyView.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
The Logic of Quantum Programs. [PDF]
, 2004 We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
Smets, Sonja +3 more
core