Please use this identifier to cite or link to this item:
Title: A short overview of Hidden Logic
Author: Ferreirim, Isabel
Martins, Manuel A.
Keywords: Hidden Logic
Issue Date: 16-Feb-2018
Publisher: Springer
Abstract: In this paper we review a hidden (sorted) generalization of k-deductive systems - hidden k-logics. They encompass deductive systems as well as hidden equational logics and inequational logics. The special case of hidden equational logics has been used to specify and to verify properties in program development of behavioral systems within the dichotomy visible vs. hidden data. We recall one of the main applications of this work - the study of behavioral equivalence. Related results are obtained through combinatorial properties of the Leibniz congruence relation. In addition we obtain a few new developments concerning hidden equational logic, namely we present a new characterization of the behavioral consequences of a theory.
DOI: 10.1007/978-3-319-74772-9 6
ISBN: 978-3-319-74771-2
Appears in Collections:CIDMA - Capítulo de livro

Files in This Item:
File Description SizeFormat 
IF_MAM_Don.pdf470.81 kBAdobe PDFembargoedAccess

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.