Closure properties for the class of behavioral models

DOI10.1016/J.TCS.2007.01.024zbMATH Open1118.68087OpenAlexW2065657484MaRDI QIDQ2373706FDOQ2373706

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

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

zbMATH Keywords

behavioral equivalenceLeibniz operatorequivalential logicbehavioral specificationhidden equational logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
• A short overview of hidden logic
• A coalgebraic perspective on logical interpretations
• Observational refinement process
• Behavioral algebraization of logics
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Abstract valuation semantics

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)