Results 61 to 70 of about 77,232 (273)

Refinement Modal Logic

, 2013
In this paper we present {\em refinement modal logic}. A refinement is like a bisimulation, except that from the three relational requirements only `atoms' and `back' need to be satisfied.
Aczel, Alur, Alur, Antonik, Arnold, Aucher, Aucher, Balbiani, Baltag, Bilkova, Blackburn, Bozzelli, Browne, Clarke, d'Agostino, d'Agostino, d'Agostino, Economou, Fagin, Feuillade, Fine, French, French, Gerbrandy, Hales, Hales, Hales, Hales, Hans van Ditmarsch, Harel, James Hales, Janin, Janin, Kooi, Kupferman, Kupke, Küsters, Larsen, Laura Bozzelli, Lomuscio, Mazala, Miller, Morgan, Parikh, Pauly, Plaza, Raclet, Raclet, Raclet, Ramadge, Riedweg, Ryan, Sistla, Sophie Pinchinat, Tim French, Tsitsoklis, van Benthem, van Benthem, van Ditmarsch, van Ditmarsch, van Ditmarsch, van Ditmarsch, Walukiewicz, Wen, Wilke, Woodcock   +65 more
core   +3 more sources

Building Community Amidst the Institutional Whiteness of Graduate Study: Black Joy and Maroon Moves in an Academic Marronage

Australian Journal of Social Issues, EarlyView.
ABSTRACT This article reflects on the construction of a supportive community of Black Afro‐diasporic graduate students and their supervisors researching issues relating to race in the field of education in Australia. It draws on the concept of marronage—a term rooted in the fugitive act of becoming a maroon, where enslaved people enacted an escape in ...
Hellen Magoi, Casianus Gemoh, Denise Chapman, Edmund Hypolite, Simon Angok, Melanie Baak, Joel Windle   +6 more
wiley   +1 more source

A Dynamic-Epistemic Logic for Mobile Structured Agents

, 2012
Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logic (DEL), one of the formalisms designed to reason about such systems, as the foundation of the language we will build.
Baltag, Alexandru, Yermakova, Anya
core   +1 more source

Navigating Whiteness in Australia's Anti‐Racism Movement: A Duoethnographic Inquiry by Women of Colour Scholars

Australian Journal of Social Issues, EarlyView.
ABSTRACT This paper applies Critical Race Theory (CRT) to explore how whiteness operates within Australia's anti‐racism movement as a structuring force that shapes discourse, practice and policy. Despite the anti‐racism movement offering crucial spaces for resistance and reform, it remains entangled in Australia's settler‐colonial present and systemic ...
Franka Vaughan, Aish Ravi
wiley   +1 more source

Implementing Indigenous Data Sovereignty in Australia: A Five‐Phase Framework for Indigenous Data Governance

Australian Journal of Social Issues, EarlyView.
ABSTRACT This article presents the development of a five‐phase Indigenous Data Governance (IDGov) Framework in Australia, focusing on partnerships between the Aboriginal Community Controlled Health Organisation (ACCHO) sector and non‐Indigenous health entities.
Jacob Prehn, Michael A. Guerzoni, Maggie Walter, Gawaian Bodkin‐Andrews, Bobby Maher   +4 more
wiley   +1 more source

Strengthening Treaty Understanding: The Role of Education in Building Durable Indigenous–State Agreements

Australian Journal of Social Issues, EarlyView.
ABSTRACT Education is a central mechanism for ensuring that Indigenous–State treaties are understood, supported and endure through political change. Public knowledge shapes the negotiation, acceptance, implementation and long‐term stability of agreements. In Australia, however, treaty knowledge remains fragmented.
Jacob Prehn, Harry Hobbs, Jessica Horton
wiley   +1 more source

Knowledge Workers & 'Ilm' - A Retrospective on Islamic Philosophy and Epistemology for Learning Organizations

Journal of Management and Research, 2022
This paper is intended to introduce knowledge workers to a unique paradigm on virtue epistemology, i.e., reflective knowledge, based on the doctrines of Islamic philosophy  as 'Ilm.' The paper proposes a holistic framework for acquiring reflective ...
Nayab Nasir, Sarwar M Azhar, Mumtaz Khan
doaj  

Dynamic Epistemic Logic as a Substructural Logic [PDF]

, 2014
Dynamic Epistemic Logic (DEL) is an influential logical framework for reasoning about the dynamics of beliefs and knowledge. It has been related to older and more established logical frameworks. Despite these connections, DEL remains, arguably, a rather isolated logic in the vast realm of non-classical logics and modal logics.
openaire   +2 more sources

King Aorta: Narrative anatomy education

Anatomical Sciences Education, Volume 18, Issue 3, Page 264-276, March 2025.
Abstract The aim of this study was to investigate the effects of narrative anatomy education and traditional anatomy education on academic achievement. The study included 64 students who were randomly divided into two groups. The two groups were (n = 32) control (Group 1) and (n = 32) experimental (Group 2). The pretest scores of the two groups were 36.
Halil Yilmaz
wiley   +1 more source

Topo-Logic as a Dynamic-Epistemic Logic

, 2017
We extend the ‘topologic’ framework [13] with dynamic modalities for ‘topological public announcements’ in the style of Bjorndahl [5]. We give a complete axiomatization for this “Dynamic Topo-Logic”, which is in a sense simpler than the standard axioms of topologic.
Baltag, A., Özgün, A., Vargas Sandoval, A.L.   +2 more
openaire   +3 more sources