The saturation-based reasoning methods are among the most theoretically developed ones and are used by most of the state-of-the-art first-order logic reasoners. In the last decade there was a sharp increase in performance of such systems, which I attribute to the use of advanced calculi and the intensified research in implementation techniques. However, nowadays we are witnessing a slowdown in ...

This paper presents an agent-based simulation framework for the analysis of the emergence of resource-sharing conventions. The model is based on Sugden's article entitled "Spontaneous order", which looks at the conditions under which conventions regarding access to a natural resource become established. The aim of the model is to explore the potential of agent-based modelling for the analysis o...

Given a π-institution I, a hierarchy of π-institutions I(n) is constructed, for n ≥ 1. We call I(n) the n-th order counterpart of I. The second-order counterpart of a deductive π-institution is a Gentzen π-institution, i. e. a π-institution associated with a structural Gentzen system in a canonical way. So, by analogy, the second order counterpart I(2) of I is also called the “Gentzenization” o...

While the development of mobile services is experiencing a spectacular growth in many countries worldwide, existing regulatory regimes are ill equipped for dealing with them. In this paper, the authors use qualitative evidence to investigate the manner in which institutional regulatory factors, including legal, societal, and economic factors, can impact mobile services in the Australian mobile ...

We generalise the ultraproducts method from conventional model theory to an institutionindependent (i.e. independent of the details of the actual logic formalised as an institution) framework based on a novel very general treatment of the semantics of some important concepts in logic, such as quantification, logical connectives, and ground atomic sentences. Unlike previous abstract model theore...

one of the non- judicial enforcements which is addressed by some legal systems in order to preserving rights of a contracting party against breach of obligation of other party, is the right for sale of goods in self-help type by the damaged party .this enforcements was predicted and addressed in both vienna convention for international sale of goods and iranian legal system. but it is still unk...

Undertaking foreign direct investment (FDI) is the defining feature of multinational enterprises (MNEs). While emerging economies as recipients of FDI are familiar with MNEs, these MNEs tend to be firms from the developed world. A new breed of home-grown MNEs has now arisen from the emerging economies, in particular the group known as BRIC (Brazil, Russia, India, and China). In this article, th...

Imagine some difficult intellectual property rights (IPR) negotiations between a superpower and an emerging economy. Negotiators from the superpower demanded that its IPR be respected. Their counterparts from the emerging economy shrugged: ''Well, we are still a developing country, but we need to promote education and facilitate learning.'' In other words, IPR piracy had to go on in the emergin...