Closure properties for the class of behavioral models

DOI10.1016/J.TCS.2007.01.024MaRDI QIDQ2373706zbMATH OpenOpenAlexFDO

Authors Manuel A. Martins

Publication date 16 July 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10773/5547

zbMATH Keywords

behavioral equivalencebehavioral specificationequivalential logichidden equational logicLeibniz operator

Mathematics Subject Classification ID

Logic in computer science (03B70) Equational classes, universal algebra in model theory (03C05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A short overview of hidden logic
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• Deduction-detachment theorem in hidden k-logics
• scientific article; zbMATH DE number 1487499
• scientific article; zbMATH DE number 1231632

Cites work

• A hidden agenda
• A survey of abstract algebraic logic
• Admissibility of logical inference rules
• Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
• Algebraizable logics
• Behavioural and abstractor specifications
• Behavioural theories and the proof of behavioural properties
• Conditional circular coinductive rewriting with case analysis.
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Equivalential and algebraizable logics
• Equivalential logics. I
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 17707 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1231632 (Why is no real title available?)
• scientific article; zbMATH DE number 1487499 (Why is no real title available?)
• scientific article; zbMATH DE number 1497881 (Why is no real title available?)
• scientific article; zbMATH DE number 1543338 (Why is no real title available?)
• scientific article; zbMATH DE number 1761887 (Why is no real title available?)
• scientific article; zbMATH DE number 3999267 (Why is no real title available?)
• Model theory.
• Observational proofs by rewriting.
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• On the injectivity of the Leibniz operator
• Protoalgebraic logics
• Swinging types=functions+relations+transition systems
• Two impossibility theorems on behaviour specification of abstract data types

Cited in

(8)

• Behavioral algebraization of logics
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• A coalgebraic perspective on logical interpretations
• Abstract valuation semantics
• scientific article; zbMATH DE number 1497881 (Why is no real title available?)
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• A short overview of hidden logic
• Observational refinement process

This page was built for publication: Closure properties for the class of behavioral models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2373706)