Constructor-based institutions

Daniel Gǎinǎ, Kokichi Futatsugi, Kazuhiro Ogata

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

Many computer science applications concern properties which are true of a restricted class of models. We present a couple of constructor-based institutions defined on top of some base institutions by restricting the class of models. We define the proof rules for these logics formalized as institutions, and prove their completeness in the abstract framework of institutions.

Original languageEnglish
Title of host publicationAlgebra and Coalgebra in Computer Science - Third International Conference, CALCO 2009, Proceedings
Pages398-412
Number of pages15
DOIs
Publication statusPublished - Nov 2 2009
Externally publishedYes
Event3rd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009 - Udine, Italy
Duration: Sep 7 2009Sep 10 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5728 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009
CountryItaly
CityUdine
Period9/7/099/10/09

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Constructor-based institutions'. Together they form a unique fingerprint.

Cite this