Expressive Logics for Coinductive Predicates

The classical Hennessy-Milner theorem says that two Soldering Tools states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal logic.In this paper we study this type of result in a general context, moving from transition systems to coalgebras and from bisimilarity to coinductive predic

read more

Intrapancreatic recurrence of intraductal tubulopapillary neoplasm (ITPN) 16 years after the initial surgery for noninvasive ITPN: a case report

Abstract Background Intraductal tubulopapillary neoplasm (ITPN) is a rare pancreatic intraductal neoplasm.It is characterized by a tubulopapillary growth pattern, entirely high-grade atypical cells, minimal cytoplasmic mucin, Work Socks and no obvious luminal mucin secretion.Most of its biological nature remains unclear.Case presentation We herein

read more


Present Day English Existential There-Constructions and their Pragmatics. Towards an Integrated Categorisation

This paper presents the pragmatics of there-constructions (henceforth TCs) as its main object of analysis.It seeks to provide the labels for a possible classification of TCs according to their communicative roles in their contexts of occurrence.A basic distinction is made between prospective and retrospective functions of TCs, whose most basic func

read more