Closure properties for the class of behavioral models

DOI10.1016/j.tcs.2007.01.024zbMath1118.68087OpenAlexW2065657484MaRDI QIDQ2373706

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

equivalential logicLeibniz operatorbehavioral equivalencebehavioral specificationhidden equational logic

Mathematics Subject Classification ID

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

Related Items (7)

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

Cites Work

• Behavioural theories and the proof of behavioural properties
• On behavioural abstraction and behavioural satisfaction in higher-order logic
• Equivalential logics. I
• Model theory.
• Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
• Admissibility of logical inference rules
• Two impossibility theorems on behaviour specification of abstract data types
• A survey of abstract algebraic logic
• Swinging types=functions+relations+transition systems
• A hidden agenda
• Observational proofs by rewriting.
• Behavioural and abstractor specifications
• Equivalential and algebraizable logics
• Algebraizable logics
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Recent Trends in Algebraic Development Techniques
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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