Observational logic, constructor-based logic, and their duality.
type: Item
instance of: scholarly article
title: Observational logic, constructor-based logic, and their duality.
zbMATH Open document ID: 1038.68079
DOI: 10.1016/S0304-3975(02)00865-4
author: Michel Bidoit
author: Rolf Hennicker
author: Alexander Kurz
published in: Theoretical Computer Science
publication date: 2003-05-25T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1915471
zbMATH Keywords: Algebraic specification
zbMATH Keywords: Observability
zbMATH Keywords: Reachability
zbMATH Keywords: Duality
zbMATH Keywords: Institution
describes a project that uses: CASL
MaRDI profile type: Publication
cites work: Q4693062
cites work: Foundations of system theory: Decomposable systems
cites work: Adjoint machines, state-behavior machines, and duality
cites work: CASL: the Common Algebraic Specification Language.
cites work: Q3365224
cites work: Q4702601
cites work: Q4738215
cites work: Q2771053
cites work: Behavioural and abstractor specifications
cites work: Q4856547
cites work: Model theory.
cites work: Q3839054
cites work: Institutions: abstract model theory for specification and programming
cites work: A hidden agenda
cites work: Q4493908
cites work: Constructor-based observational logic
cites work: Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
cites work: Q4842536
cites work: Proof systems for structured specifications with observability operators
cites work: Proof of correctness of data representations
cites work: On behavioural abstraction and behavioural satisfaction in higher-order logic
cites work: Q4355684
cites work: Q5638871
cites work: Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
cites work: Q4533390
cites work: On institutions for modular coalgebraic specifications.
cites work: Q5639839
cites work: Specification of abstract data types
cites work: Swinging types=functions+relations+transition systems
cites work: Q4263878
cites work: Q3773301
cites work: On observational equivalence and algebraic specification
cites work: Specifications in an arbitrary institution
cites work: On the existence of free models in abstract algebraic institutions
cites work: Towards heterogeneous specifications
full work available at URL: s0304-3975(02)00865-4
OpenAlex ID: W2090661963
description: scientific article; zbMATH DE number 1915471