A coalgebraic perspective on logical interpretations
type: Item
instance of: scholarly article
title: A coalgebraic perspective on logical interpretations
zbMATH Open document ID: 1353.68185
author: Manuel A. Martins
author: Alexandre Madeira
author: L. S. Barbosa
published in: Studia Logica
publication date: 2013-09-23T00:00:00Z
full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6321
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18C20
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6210413
zbMATH Keywords: abstract logic
zbMATH Keywords: interpretation
zbMATH Keywords: coalgebra
zbMATH Keywords: program refinement
describes a project that uses: CIRC
describes a project that uses: CASL
MaRDI profile type: Publication
OpenAlex ID: W2054116146
cites work: Q4715213
cites work: Q4680360
cites work: Calculating Invariants as Coreflexive Bisimulations
cites work: Q4331824
cites work: Algebraizable logics
cites work: Algebraic semantics for deductive systems
cites work: Q5311058
cites work: New dimensions on translations between logics
cites work: Protoalgebraic logics
cites work: Q4249028
cites work: Behavioural reasoning for conditional equations
cites work: Conservative translations
cites work: Q4715441
cites work: Q3995720
cites work: Structural induction and coinduction in a fibrational setting
cites work: Strong functors and monoidal monads
cites work: CIRC: A Behavioral Verification Tool Based on Circular Coinduction
cites work: The origin of relation algebras in the development and axiomatization of the calculus of relations
cites work: Modelling angelic and demonic nondeterminism with multirelations
cites work: Closure properties for the class of behavioral models
cites work: Refinement by Interpretation in a General Setting
cites work: Components as coalgebras: the refinement dimension
cites work: Proving Behavioral Refinements of COL-specifications
cites work: What is a logic translation?
cites work: Q4680193
cites work: Abstract logics as dialgebras
cites work: From Algebras and Coalgebras to Dialgebras
cites work: Toward formal development of programs from algebraic specifications: Implementations revisited
cites work: Q5581592
cites work: Variations on algebra: Monadicity and generalisations of equational theories
cites work: Universal coalgebra: A theory of systems
cites work: Essential concepts of algebraic specification and program development
cites work: Q4249037
cites work: On the calculus of relations
cites work: Q4385539
cites work: Theory of logical calculi. Basic theory of consequence operations
DOI: 10.1007/S11225-013-9498-Z
description: scientific article; zbMATH DE number 6210413