-
170Effects of water scarcity awareness and climate change belief on recycled water usage willingness: Evidence from New Mexico, United StatesVMOST Journal of Social Sciences and Humanities 66 (1): 62-75. 2024.The global water crisis is being exacerbated by climate change, even in the United States. Recycled water is a feasible alternative to alleviate the water shortage, but it is constrained by humans’ perceptions. The current study examines how residents’ water scarcity awareness and climate change belief influence their willingness to use recycled water directly and indirectly. Bayesian Mindsponge Framework (BMF) analytics was employed on a dataset of 1831 residents in Albuquerque, New Mexico, an …Read more
-
6Sustainable supply chain governance: A literature reviewBusiness Ethics, the Environment and Responsibility. forthcoming.Business Ethics, the Environment &Responsibility, EarlyView.
-
90Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KDStudia Logica 69 (1): 41-57. 2001.We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics.
-
29Converse-PDL with regular inclusion axioms: a framework for MAS logicsJournal of Applied Non-Classical Logics 21 (1): 61-91. 2011.In this paper we study automated reasoning in the modal logic CPDLreg which is a combination of CPDL (Propositional Dynamic Logic with Converse) and REGc (Regular Grammar Logic with Converse). The logic CPDL is widely used in many areas, including program verification, theory of action and change, and knowledge representation. On the other hand, the logic REGc is applicable in reasoning about epistemic states and ontologies (via Description Logics). The modal logic CPDLreg can serve as a technic…Read more
-
25Corporate governance and corporate sustainability performance: evidence from the emerging Asian economiesInternational Journal of Business Governance and Ethics 16 (4): 403. 2022.This study investigates the relationship between corporate governance and corporate sustainability performance in the emerging Asian markets where the central role of sustainable development was perceived after the 2008 global financial crisis. We base our study on the triple bottom line approach that incorporates three dimensions of sustainability: economic, environmental, and social performance. A governance index comprising ten firm-specific provisions is proposed to summarise internal corpor…Read more
-
13The Situation of New Religious Studies in VietnamTattva - Journal of Philosophy 8 (1): 45-60. 2016.There is a prominent phenomenon in the religious life of Vietnam, which is the emergence of “new religions”. These phenomena have not only made the religious space of the nation more complex and multi-dimensional but also challenged stability and sustainable development within the religious communities in this key economic region. Having studied the new religious phenomenon in recent years, we have noted its progress and widespread characteristics within the ethnic communities. While it may appe…Read more
-
1On the Deterministic Horn Fragment of Test-free PDLIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 373-392. 1998.
-
8On the Deterministic Horn Fragment of Test-free PDLIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 373-392. 1998.
-
55Modal logic programming revisitedJournal of Applied Non-Classical Logics 19 (2): 167-181. 2009.We present optimizations for the modal logic programming system MProlog, including the standard form for resolution cycles, optimized sets of rules used as meta-clauses, optimizations for the version of MProlog without existential modal operators, as well as iterative deepening search and tabulation. Our SLD-resolution calculi for MProlog in a number of modal logics are still strongly complete when resolution cycles are in the standard form and optimized sets of rules are used. We also show that…Read more
-
42ExpTime Tableau Decision Procedures for Regular Grammar Logics with ConverseStudia Logica 98 (3): 387-428. 2011.Grammar logics were introduced by Fariñas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse ( REG c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which various optimization…Read more
-
16Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar LogicsLogic Journal of the IGPL 16 (2): 175-193. 2008.A serial context-free grammar logic is a normal multimodal logic L characterized by the seriality axioms and a set of inclusion axioms of the form □tφ→□s1…□skφ. Such an inclusion axiom corresponds to the grammar rule t → s1… sk. Thus the inclusion axioms of L capture a context-free grammar . If for every modal index t, the set of words derivable from t using is a regular language, then L is a serial regular grammar logic. In this paper, we present an algorithm that, given a positive multimodal l…Read more
Williamsport, Pennsylvania, United States of America