Results 71 to 80 of about 1,681 (204)

Social movements and the synecdoche problem

Noûs, Volume 60, Issue 2, Page 385-412, June 2026.
Abstract Social movements are central to our contemporary understanding of social change. Accordingly, we should want to be able to say what it is that makes social movements special; that is, to say what it is that movements in their entirety have that random samples of people and organizations within the movement do not have.
Megan Hyska
wiley   +1 more source

Tropical Graph Parameters [PDF]

Discrete Mathematics & Theoretical Computer Science, 2014
Connection matrices for graph parameters with values in a field have been introduced by M. Freedman, L. Lovász and A. Schrijver (2007). Graph parameters with connection matrices of finite rank can be computed in polynomial time on graph classes of ...
Nadia Labai, Johann Makowsky
doaj   +1 more source

Musical Mereology

Pacific Philosophical Quarterly, Volume 107, Issue 2, Page 58-73, June 2026.
ABSTRACT I develop an axiomatic system of mereology that accounts for the ways in which musical works can be said to have parts. I distinguish two fundamental modes of composition that musical works exhibit: successive composition, whereby sound events are concatenated in time, and simultaneous composition, whereby sound events occur at the same time ...
Alejandro G. Di Rienzo
wiley   +1 more source

A Collapse Result in the Mereology of Properties

Ratio, Volume 39, Issue 2, Page 57-65, June 2026.
ABSTRACT I examine five principles about the metaphysics of properties, each of which has been defended in the literature: (1) the sum of properties is their corresponding conjunctive property, (2) the mereology of properties is classical, (3) properties are individuated by necessary co‐instantiation, (4) sums of objects belonging to different ...
Alejandro G. Di Rienzo
wiley   +1 more source

Verification of graph programs with monadic second-order logic [PDF]

, 2021
In this thesis, we consider Hoare-style verification for the graph programming language GP 2. In literature, Hoare-style verification for graph programs has been studied by using extensions of nested conditions called E-conditions and M-conditions as ...
Wulandari, Gia Septiana
core  

Model pluralism for logic

Noûs, Volume 60, Issue 1, Page 136-160, March 2026.
Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley   +1 more source

Applications of Finite Model Theory: Optimisation Problems, Hybrid Modal Logics and Games. [PDF]

, 2013
There exists an interesting relationships between two seemingly distinct fields: logic from the field of Model Theory, which deals with the truth of statements about discrete structures; and Computational Complexity, which deals with the classification ...
GATE, JAMES,SIMON
core  

On first-order transductions of classes of graphs [PDF]

Logical Methods in Computer Science
We study various aspects of the first-order transduction quasi-order on graph classes, which provides a way of measuring the relative complexity of graph classes based on whether one can encode the other using a formula of first-order (FO) logic.
Samuel Braunfeld, Jaroslav Nešetřil, Patrice Ossona de Mendez, Sebastian Siebertz   +3 more
doaj   +1 more source

First order quantifiers in monadic second order logic

Journal of Symbolic Logic, 2004
AbstractThis paper studies the expressive power that an extra first order quantifier adds to a fragment of monadic second order logic, extending the toolkit of Janin and Marcinkowski [JM01].We introduce an operation existsn (S) on properties S that says “there are n components having S”.
Keisler, H. Jerome, Lotfallah, Wafik Boulos   +1 more
openaire   +3 more sources

Xs we share: Context similarity, culture, and the diffusion of populism

American Journal of Political Science, Volume 70, Issue 1, Page 256-271, January 2026.
Abstract Do populist ideas travel across borders? Anecdotal evidence suggests as much, yet so far we lack a systematic assessment of whether diffusion takes place, and if so under which conditions. We argue that context similarity enables the diffusion of populism among parties as it eases the adaption of populist framing of perceived grievances into ...
Nina Wiesehomeier, Nils Düpont, Saskia P. Ruth‐Lovell   +2 more
wiley   +1 more source