The Leibniz Center for Law is involved in the project Digitale Uitwisseling Ruimtelijke Plannen [DURP (http://www.vrom.nl/durp); digital exchange of spatial plans] which develops a XML-based digital exchange format for spatial regulations. Involvement in the DURP project offers new possibilities to study a legal area that hasn’t yet been studied to the extent it deserves in the field of Computer Science & Law. We studied and criticised the work of the DURP project and the Dutch Ministry of internal affairs on metadata (...) for regulatory documents, and made an inventory of issues related to legal knowledge representation that it felt were not sufficiently covered by current initiatives in the Geographic Information Systems (GIS) field. This inventory was an input to the DURP standardisation effort. In a second phase of the project we extended the METALex XML schema (cf. Boer et al. 2002; Boer et al. 2003) for ‚regular’ legal sources that we developed in the past for geospatial regulatory information, in order to support exchange of spatial regulations, including the associated geospatial information in the form of maps. We developed a prototype application and demonstrated how the spatial planning information in GML can be combined with XML with only minimal changes, using the Web Ontology Language (OWL). This paper describes our experiences. (shrink)

Using data of 26 cities in China from 2004 to 2017, the green total factor productivity is investigated by the SMM-GML method. The corresponding empirical analysis is conducted with the DID model. This paper investigates the relation between low-carbon pilot policy and green total factor productivity and discusses the mediating effect of industrial structure and the number of R&D staff. First, we find that LCC has a significant effect on pilot cities’ GTFP. And, it also promotes GTFP via industrial structure. (...) Second, LCC can improve industrial structure optimization and realization, and industrial structure realization affects GTFP significantly, while optimization cannot. Third, LCC cannot attract more RDS, and RDS harms local GDFP because of talent misallocation. At last, the rate of GTFP presented different upward trends in the order of non-eastern cities and eastern cities. The effect of LCC on GTFP is significant in non-eastern cities, but not eastern ones, which clearly demonstrates the imbalanced development of the green economy. Therefore, the governments of eastern and non-eastern regions should adopt different measures based on local conditions in industrial structure transformation and recruitment and strengthen environmental regulations to make the effect of the low-carbon policy lasting and promote GTFP growth balance in all regions. (shrink)

We extend the languages of both basic and graded modal logic with the infinity diamond, a modality that expresses the existence of infinitely many successors having a certain property. In both cases we define a natural notion of bisimilarity for the resulting formalisms, that we dub $\mathtt {ML}^{\infty }$ and $\mathtt {GML}^{\infty }$, respectively. We then characterise these logics as the bisimulation-invariant fragments of the naturally corresponding predicate logic, viz., the extension of first-order logic with the infinity quantifier. Furthermore, for (...) both $\mathtt {ML}^{\infty }$ and $\mathtt {GML}^{\infty }$ we provide a sound and complete axiomatisation for the set of formulas that are valid in every Kripke frame, we prove a small model property with respect to a widened class of weighted models, and we establish decidability of the satisfiability problem. (shrink)