Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
From MaRDI portal
Publication:301373
DOI10.1016/j.jal.2016.03.002zbMath1436.68193OpenAlexW2295440525MaRDI QIDQ301373
Sergey Babenyshev, Manuel A. Martins
Publication date: 30 June 2016
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2016.03.002
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract algebraic logic (03G27)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A coalgebraic perspective on logical interpretations
- Foundations of algebraic specification and formal software development.
- Coinduction for preordered algebra
- Behavioural theories and the proof of behavioural properties
- Quasi-Boolean encodings and conditionals in algebraic specification
- Behavioral algebraization of logics
- Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
- A survey of abstract algebraic logic
- Swinging types=functions+relations+transition systems
- A hidden agenda
- Observational proofs by rewriting.
- Behavioural and abstractor specifications
- New dimensions on translations between logics
- What is a logic translation?
- Order algebraizable logics
- Closure properties for the class of behavioral models
- The role of logical interpretations in program development
- Circular Coinduction: A Proof Theoretical Foundation
- Refinement by Interpretation in a General Setting
- Algebraizable logics
- Bisimulation and Hidden Algebra
- Hidden coinduction: behavioural correctness proofs for objects
- An approach to object semantics based on terminal co-algebras
- Deduction-detachment theorem in hidden k-logics
- Behavioural reasoning for conditional equations
- Observational interpretation of Casl specifications
- Recent Trends in Algebraic Development Techniques
- Protoalgebraic logics
This page was built for publication: Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach
