Results 71 to 80 of about 3,678,044 (245)
Aximo: automated axiomatic reasoning for information update
, 2007 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 +1 more source
The synchronicity of dynamic epistemic logic
, 2011 In a recent paper, van Benthem, Gerbrandy, Hoshi and Pacuit gave a natural translation of dynamic epistemic logic (DEL) into epistemic temporal logic (ETL) and proved a representation theorem, characterizing those ETL models that are translations of some
Dégremont, Cédric +4 more
core +1 more source
Chilean science teachers' conceptualisations of disability when teaching students with autism
British Educational Research Journal, EarlyView.Abstract This study examines how Chilean secondary science teachers conceptualise disability when teaching students with autism in integrated classroom settings. Grounded in critical disability studies, the research employs a qualitative story‐completion method, using a fictional classroom scenario to prompt teachers to construct narratives that reveal
Alexis Gonzalez‐Donoso +1 more
wiley +1 more source
Bulletin of the Section of LogicIn this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj +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
British Educational Research Journal, EarlyView.Abstract In this paper, we explore how neurodivergent ways of being in early education are often gendered. The intersectionalities of gender and neurodivergence often lead to fixed expectations that perpetuate binary interpretations, pathologisations, missed diagnoses and a lack of curated support.
Ruth Churchill Dower, Hannah Hogarth
wiley +1 more source
Bricks, knots, and bodies: Material encounters and the affective making of masculinity
British Educational Research Journal, EarlyView.Abstract This paper examines how creative research methods do not just capture boys' experiences of masculinity, but actively materialise them. Drawing on two arts‐based activities used in school‐based fieldwork (a mannequin‐based exercise with one participant and a Lego‐building workshop with a small peer group), the paper analyses how materials ...
Huw Berry‐Downs
wiley +1 more source
Dynamic epistemic temporal logic
, 2009 We introduce a new type of arrow in the update frames (or "action models") of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that need not be synchronous.
Sack, Joshua +5 more
core +4 more sources
British Educational Research Journal, EarlyView.Abstract This article presents the first systematic review of scholarship applying Pierre Bourdieu's theoretical framework in New Zealand educational research, drawing on 30 peer‐reviewed studies published between 2000 and 2025. Following PRISMA guidelines, studies were coded for Bourdieusian concepts applied, depth of theoretical application ...
Liuning Yang
wiley +1 more source
British Educational Research Journal, EarlyView.Abstract This paper presents an exploratory analysis of contemporary curricular and professional qualification policies in the Scottish education system, focusing on minimum qualification thresholds for mathematics teaching. The study examines how veteran secondary mathematics practitioners perceive the structural and pedagogical implications of using ...
Paul Argyle McDonald
wiley +1 more source