Results 61 to 70 of about 1,012,276 (331)
Partial cut elimination for combinations of propositional multi-modal logics with past time
Lietuvos Matematikos Rinkinys, 2011 We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
Propositional Dynamic Logic for Message-Passing Systems [PDF]
Logical Methods in Computer Science, 2010 We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event.
Benedikt Bollig +2 more
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT The smartphone industry faces sustainability challenges from greenhouse gas emissions and resource depletion to growing e‐waste volumes. Circular business models have been proposed as a pathway to address these issues, yet their adoption remains limited, lacking integrative assessment frameworks that connect environmental performance with ...
Philipp Rittershaus +4 more
wiley +1 more source
The Nature of Propositional Deduction—a Piagetian Perspective
Studia Semiotyczne, 2022 Logic was once thought to describe the laws of thought; however, a plurality of logics has now replaced classical logic, obscuring rather than clarifying the nature of deduction with an embarrassment of riches.
M. A. Winstanley
doaj
Can Hybrid Organisations Solve the Paradox of the Triple Bottom Line, and Does It Need Solving?
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates how B Corp certification enables hybrid organisations to integrate competing institutional logics of market and social purpose. Through a two‐stage qualitative design combining cross‐sector interviews with B Corps and an in‐depth case study, with a total of 30 participants, we analyse how certification supports hybrid ...
Ruth Cherrington +3 more
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates how circular business models (CBMs) can lead to resilience. Despite the increasing number of CBM studies, they have not fully addressed the need for resilience. As such, we employ a multilevel perspective to reveal the existing and potential relationships between CBMs and resilience under the sustainability umbrella.
Stephane Jedrzejczak +4 more
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT The conservation of biodiversity and ecosystems is increasingly recognised as essential to the long‐term sustainability of organisational operations. Drawing on critical mass theory, upper echelon theory and gender socialisation theory, this study examines the influence of female board and executive representation on corporate biodiversity ...
Masoud Rahmani +2 more
wiley +1 more source
Tense θ-valued Moisil propositional logic
International Journal of Computers Communications & Control, 2010 In this paper we study the tense θ-valued Moisil propositional calculus, a logical system obtained from the θ-valued Moisil propositional logic by adding two tense operators.
C. Chirita
semanticscholar +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Entrepreneurship is increasingly reframed beyond profit maximisation toward models that integrate cultural resilience, sustainability and socio‐ecological responsibility. This study examines how Indigenous Knowledge Systems (IKS) and Sustainable Strategies (SS) jointly influence entrepreneurial success (ES), addressing a gap where culturally ...
Henry Adeyemi Aluko +6 more
wiley +1 more source
Loop-free verification of termination of derivation for a fragment of dynamic logic
Lietuvos Matematikos Rinkinys, 2008 A fragment of a deterministic propositional dynamic logic (DPDL, in short) is considered The language of considered fragment contains propositional symbols, action constants, action operator (repetition) and logical symbols.
Regimantas Pliuškevičius
doaj +1 more source