Results 31 to 40 of about 2,931 (167)

Changing a semantics: opportunism or courage?

, 2014
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.
A. Chagrov, A. Gil-Luezas, A. Mann, A. Mostowski, A. Pasztor, B. Davey, B. Ganter, B. Jónsson, B. ten Cate, D. Cantone, D. Gallin, D. Harel, D. Hilbert, D. Kozen, E. Bishop, E. Lopez-Escobar, G. Bezhanishvili, G. Sambin, H. Andréka, H. Andréka, H. Andréka, H. Andréka, H. Enderton, H.-D. Ebbinghaus, H.A. Priestley, H.A. Priestley, I. Walukiewicz, J. Akkanen, J. Barwise, J. Barwise, J. Barwise, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Hintikka, J. Madarász, J. Väänänen, J. Väänänen, J. Väänänen, K. Kunen, L. Csirmaz, L. Esakia, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Humberstone, L. Santocanale, L. Santocanale, M. Dunn, M. Dunn, M. Gehrke, M. Kracht, M. Manzano, M. Manzano, M.O. Rabin, N. Bezhanishvili, N. Bezhanishvili, N. Galatos, P. Blackburn, P. Hájek, R. Kaye, R. Montague, R.L. Vaught, S. Ambler, S. Feferman, S. Simpson, S.K. Thomason, T. Gergely, T. Hyttinen, V. Marra, V. Stebletsova, W. Blok, W. Holliday, W. Walkoe, Y. Venema, Y. Venema   +84 more
core   +1 more source

Rüdin's Unpublished Family Study From the Early 1920s: “On the Inheritance of Manic‐Depressive Insanity”

American Journal of Medical Genetics Part B: Neuropsychiatric Genetics, EarlyView.
ABSTRACT Ernst Rüdin, an important and controversial figure in the history of psychiatric genetics, published only one major empirical study on siblings of dementia praecox (DP) probands in 1916. He conducted a parallel study of siblings of probands with manic‐depressive insanity (MDI), but the resulting monograph, written in the early 1920s, was left ...
Kenneth S. Kendler, Astrid Klee
wiley   +1 more source

Don't Worry About Her; Intersectionality, and the Role of Systems and Structures in the Embodied Experiences of Young Women's Use of Violence

Australian Journal of Social Issues, EarlyView.
ABSTRACT Systems and structures designed to protect and support young people, specifically (in this paper) young women, are ironically the same systems that maintain gender disparity. Consequently, this has influenced the embodied identities of young women who experience and use violence. Such systemic and structural intersectionality has impacted upon
Louise Rak, Tamara Blakemore, Elsie Randall, Meaghan Katrak Harris   +3 more
wiley   +1 more source

‘Turkeys Cannot Vote for Christmas’: Why Epistemic Disobedience in an Anti‐Black World Matters

Australian Journal of Social Issues, EarlyView.
ABSTRACT Never in the history of global coloniality has the idea of epistemic disobedience been as important as in the 21st century. This is not only because the struggle for decolonisation has shifted from physical confrontation between the coloniser and the colonised into a battle of ideas but also because the former has deployed the idea of ...
Morgan Ndlovu
wiley   +1 more source

The First-Order Theory of Sets with Cardinality Constraints is Decidable

, 2004
We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is undecidable.
Kuncak, Viktor, Rinard, Martin
core   +3 more sources

The Politics of Framing the Student Problem: Inquiries Into Australian Civics Education, 2006–2024

Australian Journal of Social Issues, EarlyView.
ABSTRACT Recurring debates about civics, the kinds of history that should, and should not, be taught in school, and ‘standards debates’ about the ‘basics’ typically follow on the heels of recurring moral panics about the ‘declining’ state of ‘our’ education system.
Patrick O'Keeffe, Judith Bessant, Madeline Drake   +2 more
wiley   +1 more source

Beyond Robodebt: Media Representations of Welfare and Fraud Before and After the Robodebt Royal Commission

Australian Journal of Social Issues, EarlyView.
ABSTRACT Australia's Robodebt scheme, an automated debt recovery program introduced in 2016, was exposed by the Robodebt Royal Commission (RC) as a serious failure of public administration and source of significant harm for thousands of Australians. Through a critical discourse analysis (CDA) of Australian news media, this study explores whether the RC'
Rebecca Coleman‐Hicks, Georgia van Toorn   +1 more
wiley   +1 more source

Satisfiability of CTL* with constraints

, 2013
We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at ...
B. Courcelle, C. Lutz, C. Lutz, C. Lutz, K. Čerāns, L. Bozzelli, R. Gascon, S. Demri, S. Demri   +8 more
core   +1 more source

A practical guide to using diary methods in qualitative research

Anatomical Sciences Education, EarlyView.
Abstract The use of qualitative methods is growing in anatomical sciences education. While common qualitative methods such as interviews and focus groups can provide rich insights into participant experiences, there is a wide variety of other qualitative methods that are ideal for different research topics.
Georgina C. Stephens, Ella Ottrey, Kristie Matthews   +2 more
wiley   +1 more source

Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General [PDF]

, 2017
This paper deals with a collection of concerns that, over a period of time, led the author away from the Routley–Meyer semantics, and towards proof- theoretic approaches to relevant logics, and indeed to the weak relevant logic MC of meaning ...
Brady, Ross T.
core