A coalgebraic perspective on logical interpretations

DOI10.1007/s11225-013-9498-zzbMath1353.68185OpenAlexW2054116146MaRDI QIDQ368477

Manuel A. Martins, Luís Soares Barbosa, 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

zbMATH Keywords

coalgebrainterpretationabstract logicprogram refinement

Mathematics Subject Classification ID

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

Related Items (1)

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

Uses Software

• CASL
• CIRC

Cites Work

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