Results 91 to 100 of about 5,005 (305)
In this theoretical paper, an epistemic logical model for analysis of students’ argumentation and proof processes is presented. The model is conceived as a methodological tool addressed to the researcher in mathematics education that aims to shed light ...
Miglena Asenova
doaj +1 more source
Remarks on the Epistemic Interpretation of Paraconsistency Logic
In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e.
Nicolás Lo Guercio, Damian Szmuc
doaj +1 more source
On the Applicability of the Advocacy Coalition Framework for Analyzing EU Policy Processes
ABSTRACT Initially developed for the US context, the Advocacy Coalition Framework (ACF) is increasingly used to analyze policy processes in the EU. But policymaking in EU differs from the US context, why the applicability of ACF in the EU context should be scrutinized.
Fredrik von Malmborg
wiley +1 more source
Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literature ...
Xiaojuan Chen, Huiwen Deng
doaj +1 more source
Policy Spandrels: How Design Decisions Can Open Up Spaces for Unintended Policy Change
ABSTRACT This article introduces the concept of policy spandrels to make sense of public policies producing second‐order effects that are unintentional from the perspective of policy design and yet are fraught with consequences. By analogy with architectural spandrels—leftover spaces that can be used for unforeseen purposes—policy change can be enabled
Martino Maggetti
wiley +1 more source
On the expressive power of inquisitive epistemic logic [PDF]
Ivano Ciardelli, Martin Otto
openalex +1 more source
Seismic Design of Concrete Dams: An Integrated Risk‐Informed Performance‐Based (RIPB) Framework
ABSTRACT This paper advances the integration of risk‐informed principles into the seismic design of dams—a domain long guided by standards‐based, largely deterministic approaches. While performance‐based earthquake engineering is well established for buildings and bridges, its systematic adoption in dam engineering remains limited. We first address two
M. Amin Hariri‐Ardebili, Larry K. Nuss
wiley +1 more source
Abstract This article explores how Afro‐Brazilian communities in Pernambuco respond to state‐led industrial development through culturally rooted practices of resistance and repair. Drawing on archival and ethnographic research in the coastal municipalities of Cabo de Santo Agostinho and Ipojuca, this study traces the effects of Brazil's large‐scale ...
Shelly Annette Biesel
wiley +1 more source
Statistical Epistemic Logic [PDF]
We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and stochastic assignments, and show a stochastic semantics for the logic. To our knowledge, this is the first semantics for modal logic that can express the statistical knowledge ...
openaire +2 more sources
Abstract This article explores how queerness and religion intersect in a unique enactment of Bathukamma, a flower festival honoring the female divine in Hyderabad, the capital of the South Indian state of Telangana. Drawing on theories of figuration, I analyze how local queer organizations celebrate the festival in a way that engages two distinctive ...
Stefan Binder
wiley +1 more source

