A coalgebraic perspective on logical interpretations

DOI10.1007/S11225-013-9498-ZzbMATH Open1353.68185OpenAlexW2054116146MaRDI QIDQ368477FDOQ368477

L. S. Barbosa, Manuel A. Martins, Alexandre Madeira

Publication date: 23 September 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6321

Recommendations

• The role of logical interpretations in program development
• Refinement by Interpretation in a General Setting
• scientific article; zbMATH DE number 1753205
• Specifying coalgebras with modal logic
• scientific article; zbMATH DE number 1497877

zbMATH Keywords

interpretationcoalgebraabstract logicprogram refinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Categorical logic, topoi (03G30) Eilenberg-Moore and Kleisli constructions for monads (18C20) Abstract data types; algebraic specification (68Q65)

Cites Work

• CIRC: A Behavioral Verification Tool Based on Circular Coinduction
• Theory of logical calculi. Basic theory of consequence operations
• Structural induction and coinduction in a fibrational setting
• Universal coalgebra: A theory of systems
• Title not available (Why is that?)
• On the calculus of relations
• Title not available (Why is that?)
• Algebraizable logics
• Title not available (Why is that?)
• Protoalgebraic logics
• Variations on algebra: Monadicity and generalisations of equational theories
• New dimensions on translations between logics
• Strong functors and monoidal monads
• Title not available (Why is that?)
• Algebraic semantics for deductive systems
• What is a logic translation?
• Closure properties for the class of behavioral models
• Refinement by Interpretation in a General Setting
• Behavioural reasoning for conditional equations
• Title not available (Why is that?)
• Toward formal development of programs from algebraic specifications: Implementations revisited
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• Essential concepts of algebraic specification and program development
• Abstract logics as dialgebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• From Algebras and Coalgebras to Dialgebras
• Title not available (Why is that?)
• Calculating Invariants as Coreflexive Bisimulations
• Title not available (Why is that?)
• Proving Behavioral Refinements of COL-specifications
• Conservative translations
• Components as coalgebras: the refinement dimension
• Modelling angelic and demonic nondeterminism with multirelations

Cited In (1)

• Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach

Uses Software

• CASL
• CIRC

This page was built for publication: A coalgebraic perspective on logical interpretations

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