Results 91 to 100 of about 132,694 (289)
Aximo: automated axiomatic reasoning for information update
, 2007 Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result:
Richards, Simon, Sadrzadeh, Mehrnoosh
core
A Systemic Model for Understanding Business Interactions With Biodiversity and Ecosystems
Business Strategy and the Environment, EarlyView.ABSTRACT Biodiversity loss and ecosystem degradation represent critical threats to human well‐being and economic resilience, challenging businesses to understand and manage their interdependence with natural systems. This study develops a systemic framework—the BioModel—that elucidates the reciprocal relationship between businesses, biodiversity, and ...
Lino Cinquini +2 more
wiley +1 more source
Characterizing perfect recall using next-step temporal operators in S5 and sub-S5 Epistemic Temporal Logic [PDF]
, 2011 We review the notion of perfect recall in the literature on interpreted systems, game theory, and epistemic logic. In the context of Epistemic Temporal Logic (ETL), we give a (to our knowledge) novel frame condition for perfect recall, which is local and
Witzel, Andreas
core
Business Strategy and the Environment, EarlyView.ABSTRACT This study offers a forward‐looking assessment of sustainability indicator research in agribusiness by integrating bibliometric mapping with ARIMA‐based forecasting. Analysing 403 Scopus‐indexed articles, bibliographic‐coupling analysis identifies three contemporary thematic domains: Techno‐Managerial Sustainability, Systemic and ...
Marcelo Kratz Mendes +5 more
wiley +1 more source
Model Checking Dynamic-Epistemic Spatial Logic [PDF]
, 2006 In this paper we focus on Dynamic Spatial Logic, the extension of Hennessy-Milner logic with the parallel operator. We develop a sound complete Hilbert-style axiomatic system for it comprehending the behavior of spatial operators in relation with dynamic/
Mardare, Radu, Priami, Corrado
core
Some Epistemic Extensions of G\"odel Fuzzy Logic
, 2021 In this paper, we introduce some epistemic extensions of G\"odel fuzzy logic whose Kripke-based semantics have fuzzy values for both propositions and accessibility relations such that soundness and completeness hold.
Borzooei, R. A. +3 more
core
Addressing the Energy Trilemma: The Role of Entrepreneurship, Regulation, and Climate Finance
Business Strategy and the Environment, EarlyView.ABSTRACT Balancing energy security, energy equity, and environmental sustainability has become increasingly challenging as economies pursue low‐carbon growth amid climate risk and persistent disparities in access to modern energy. Although entrepreneurship is widely recognized as a driver of innovation, its role in addressing the energy trilemma ...
Kingsley Imandojemu +3 more
wiley +1 more source
Multi-succedent sequent calculus for intuitionistic epistemic logic
Lietuvos Matematikos RinkinysA multi-succedent sequent calculus for intuitionistic epistemic logic (IEL) is introduced in the paper. It is proved that the structural rules of weakening and contraction and the rule of cut are admissible in the calculus.
Romas Alonderis
doaj +3 more sources
Turing Completeness of Finite, Epistemic Programs
, 2017 In this note, we show the class of finite, epistemic programs to be Turing complete. Epistemic programs is a widely used update mechanism used in epistemic logic, where it such are a special type of action models: One which does not contain ...
Klein, Dominik, Rendsvig, Rasmus K.
core
, 2017 The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of ...
Schang, Fabien
core