Infinite vs. Singularity. Between Leibniz and Hegel

The aim of this paper is to reconsider the controversial problem of the relationship between the philosophy of Hegel and Leibniz. Beyond the thick curtain of historical references (which have been widely developed by scholars), it is in fact possible to assume some guideline concepts (i.e. those of \u2018singularity\u2019 and \u2018infinity\u2019) to reconstruct the deep theoretical influence which Leibniz played in Hegel\u2019s thought since the Jenaer Systementwurf of 1804/05

A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic

First-Order Linear Temporal Logic (FOLTL) is well-suited to specify infinite-state systems. However, FOLTL satisfiability is not even semi-decidable, thus preventing automated verification. To address this, a possible track is to constrain specifications to a decidable fragment of FOLTL, but known fragments are too restricted to be usable in practice. In this paper, we exhibit various fragments of increasing scope that provide a pertinent basis for abstract specification of infinite-state systems. We show that these fragments enjoy the Bounded Domain Property (any satisfiable FOLTL formula has a model with a finite, bounded FO domain), which provides a basis for complete, automated verification by reduction to LTL satisfiability. Finally, we present a simple case study illustrating the applicability and limitations of our results