The growth of the sharing economy is important for developing countries because it creates value, economic growth, technological innovation, environmental sustainability, and social inclusion. Macedonian citizens have a long tradition of sharing things between friends, relatives, and neighbours. However, the new concept of sharing economy that enables strangers globally to share goods and services is still not developed and used by the Macedonian citizens. The goal of this study is by empirical analysis to give the state and potential of the (...) usage of sharing economy by Macedonian citizens from the perspectives of providers and consumers. The results of the observational study and survey address future actions to boost the development of the sharing economy. (shrink)

The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...) the recursive extension of \sqema\ succeeds on the class of `recursive formulae'. We also show that a certain version of this algorithm guarantees the canonicity of the formulae on which it succeeds. (shrink)