Results 121 to 130 of about 9,148 (294)
Sustainable Development, EarlyView.ABSTRACT Infrastructure‐led development in rapidly urbanizing economies often generates accessibility gains that fail to translate into balanced urban outcomes, particularly when local fiscal institutions redirect those gains toward revenue‐generating land uses. Filling this gap, especially in fiscally constrained county‐level cities where land finance
Ming Xie, Xiaoxiao Liao, Zhenlin Xie
wiley +1 more source
Algebraic Semantics of Refinement Modal Logic
, 2016 International audienceIn the present paper we develop algebraic semantics of refinement modal logic using duality theory. Refinement modal logic has been introduced by Bozzelli et al.[7].
Bakhtiari, Zeinab +2 more
core +3 more sources
, 2008 Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Yde Venema +14 more
core +1 more source
An algebraic approach to MSO-definability on countable linear orderings [PDF]
, 2017 International audienceWe develop an algebraic notion of recognizability for languages of words indexed by countable linear orderings. We prove that this notion is effectively equivalent to definability in monadic second-order (MSO) logic. We also provide
Puppis, Gabriele +5 more
core +1 more source
From Ambition to Authenticity: How Transparent Sustainability Practices Rebuild Stakeholder Trust
Sustainable Development, EarlyView.ABSTRACT Stakeholder trust is central to advancing sustainable development, yet it is increasingly strained as corporate sustainability commitments expand faster than verifiable performance. This study examines how authenticity and transparency in corporate sustainability practices influence the formation and maintenance of stakeholder trust under ...
A. K. M. Mohsin +5 more
wiley +1 more source
Data Mining Meets Logic: Situation-Based Modal Logic and Metadata Veracity
Science & PhilosophyLogic and theoretical computer science are deeply interconnected, with logic forming a foundational pillar in the emergence of computer science. This connection has grown stronger over time, driven by advancements in symbolic systems within artificial ...
Simone Cuconato
doaj +1 more source
An algebra and a logic for NC1
Information and Computation, 1990 This paper, which appeared in an earlier version \textit{K. Compton} and \textit{C. Laflamme} [A logic and an Algebra for \(NC^ 1\) in: Proc. 3rd Annual Conference on Logic in Computer Science, (1988; Washington (IEEE Computer Society Press)], presents an algebra and a logic characterizing the complexity class \(NC^ 1\).
Compton, Kevin J., Laflamme, Claude
openaire +2 more sources
Categorical Abstract Algebraic Logic: Coordinatization is Algebraization
, 2015 The methods of categorical abstract algebraic logic are employed to show that the classical process of the coordinatization of abstract (affine plane) geometry can be viewed under the light of the algebraization of logical systems.
Voutsadakis, George
core
Algebraic Quantum Field Theory [PDF]
, 2006 Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras,
Halvorson, Hans, Mueger, Michael
core
Strategic Entrepreneurship Journal, EarlyView.Abstract Research Summary Financial resource acquisition is crucial for ventures but hindered by uncertainty. While signaling mitigates this uncertainty, its effectiveness hinges on venture novelty and the narratives used to clarify embedded information. Adopting a configurational lens, we examine the interplay among novelty, signals, and narratives in
Jiahe Wang, Lien Denoo, Joris Knoben
wiley +1 more source