Results 81 to 90 of about 132,694 (289)

‘Sometimes, I would look at my books and cry because I felt like I was left behind’: Understanding the learning of Indigenous girls during the COVID‐19 pandemic in the districts of Chongwe and Solwezi in Zambia

British Educational Research Journal, EarlyView.
Abstract Grounded in principles of epistemic justice, this article examines the educational impacts of Zambia's COVID‐19 school closures on Indigenous girls in two districts and highlights community‐led pathways for resilience. National responses prioritised broadcast and digital delivery but presupposed access to electricity, digital devices and ...
Marcellus Forh Mbah, Leigh Jarvis, Ane Turner Johnson, Chidi Ezegwu, Priscillah Nsama, Austine Nakanga   +5 more
wiley   +1 more source

Exposing the work of the market through the case of Alternative Provision for English school students

British Educational Research Journal, EarlyView.
Abstract Pupils in England who, for some reason, are not able to attend school often find themselves in Alternative Provision (AP). These are special arrangements designed to address their specific needs and help them return to mainstream schooling.
Nick Pratt, Elizabeth J. Done, Sam Morahan   +2 more
wiley   +1 more source

Modal Linear Logic in Higher Order Logic, an experiment in Coq

, 2003
The sequent calculus of classical modal linear logic KDT 4lin is coded in the higher order logic using the proof assistant COQ. The encoding has been done using two-level meta reasoning in Coq.
Sadrzadeh, Mehrnoosh
core   +1 more source

Measuring what matters: Evaluating the impact of curriculum decolonisation initiatives in UK business schools

British Educational Research Journal, EarlyView.
Abstract Curriculum decolonisation has become a prominent feature of equity agendas in UK higher education, yet there remains limited empirical and theoretical work on how such initiatives are evaluated, particularly within business schools. This paper presents one of the first multi‐institutional empirical studies examining how UK business schools ...
Sally Everett, Rachael Carden, Kenisha Linton   +2 more
wiley   +1 more source

REASONING ABOUT THE GAME „CLUE“ BY USING OTTER

Journal of Information and Organizational Sciences, 2006
In this article the possibilities of reasoning about the card version of the game Clue by using OTTER - system for automatic theorem proving have been presented.
Marko Maliković
doaj  

Sur les « opérateurs rétrogrades »

Philosophia Scientiæ, 2004
A logic of ‘backwards-looking operators’ (OR) is defined using semantical games, played on models with two dimensions, one for time and another for epistemic scenarios.
Tero Tulenheimo
doaj   +1 more source

Reasoning about Minimal Belief and Negation as Failure

, 2011
We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including ...
Rosati, R.
core   +1 more source

Minimal Temporal Epistemic Logic

Notre Dame Journal of Formal Logic, 1996
The dynamics of (nonmonotonic) reasoning processes is studied. The presented approach is based on two components: Epistemic logic is used as a formalization of information states. Temporal logic is used as a formalization of a dynamics of information states.
openaire   +2 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, Rick Hayman, Angela Hibbs, Josephine Gabi   +3 more
wiley   +1 more source

Expertise and information: an epistemic logic perspective. [PDF]

Synthese, 2023
Singleton J, Booth R.
europepmc   +1 more source