A coalgebraic perspective on logical interpretations

DOI10.1007/S11225-013-9498-ZMaRDI QIDQ368477zbMATHOpenAlexFDO

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

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

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)

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

Cites work

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

Cited in

(2)

• The role of logical interpretations in program development
• Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach

Describes a project that uses

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)