(Heterogeneous) Structured specifications in logics without interpolation

López Pombo, Carlos G.; Frías, Marcelo

Capítulo de libro:
(Heterogeneous) Structured specifications in logics without interpolation

dc.contributor.author	López Pombo, Carlos G.
dc.contributor.author	Frías, Marcelo
dc.date.accessioned	2020-04-02T18:31:06Z
dc.date.available	2020-04-02T18:31:06Z
dc.date.issued	2018
dc.description.abstract	"The world of software development has become intrinsically heterogeneous. Many formal languages have been made available to help analysts and designers model different aspects of software. Some examples in the logic realm are equational logic and classical rst-order logic, propositional temporal logics such as LTL and CTL (and their rst-order versions), multimodal logics such as the dynamic logic PDL and its rst-order version, etc. One important feature of a specification language is the existence of structuring mechanisms enabling the modular construction of system descriptions. Structured specifications were introduced by Wirsing for rst-order logic, and later presented in the language-independent setting of institutions by Sannella and Tarlecki. Afterwards, Borzyszkowski presented suffcient conditions for a calculus for (homogeneous) structured speci cations to be complete. These conditions include some form of Craig's interpolation, which results in a scenario that excludes many formalisms employed in the description of software. The contributions of this article are then summarised as follows: a) We present a calculus for structured specifications whose completeness proof does not require any form of interpolation. b)We extend this calculus to a complete calculus for heterogeneous structured specifications."	en
dc.identifier.isbn	978-3319-97-878-9
dc.identifier.uri	http://ri.itba.edu.ar/handle/123456789/1926
dc.language.iso	en	en
dc.relation	info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-97879-6_16
dc.subject	INGENIERIA DE SOFTWARE	es
dc.subject	LENGUAJES DE ESPECIFICACION	es
dc.subject	LOGICA	es
dc.subject	ALGEBRA	es
dc.title	(Heterogeneous) Structured specifications in logics without interpolation	en
dc.type	Capítulos de libro	es
dc.type	info:eu-repo/semantics/acceptedVersion
dspace.entity.type	Capítulo de libro
itba.description.filiation	Fil: López Pombo, Carlos G. Universidad Nacional de Buenos Aires; Argentina.
itba.description.filiation	Fil: López Pombo, Carlos G. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.