Institutions: Abstract Model Theory for Specification and Programming

@article{Goguen1992InstitutionsAM,
  title={Institutions: Abstract Model Theory for Specification and Programming},
  author={Joseph A. Goguen and Rod M. Burstall},
  journal={J. ACM},
  year={1992},
  volume={39},
  pages={95-146}
}
There is a population explosion among the logical systems used in computing science. Examples include first-order logic, equational logic, Horn-clause logic, higher-order logic, infinitary logic, dynamic logic, intuitionistic logic, order-sorted logic, and temporal logic; moreover, there is a tendency for each theorem prover to have its own idiosyncratic logical system. The concept of institution is introduced to formalize the informal notion of “logical system.” The major requirement is that… CONTINUE READING
Highly Influential
This paper has highly influenced 153 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 758 extracted citations

On regular languages over power sets

J. Language Modelling • 2016
View 7 Excerpts
Highly Influenced

Observational Refinement Process

Electr. Notes Theor. Comput. Sci. • 2008
View 16 Excerpts
Highly Influenced

Constructor-based observational logic

J. Log. Algebr. Program. • 2006
View 4 Excerpts
Highly Influenced

Reflective metalogical frameworks

ACM Trans. Comput. Log. • 2004
View 6 Excerpts
Highly Influenced

Category-based constraint logic

Mathematical Structures in Computer Science • 2000
View 7 Excerpts
Highly Influenced

References

Publications referenced by this paper.

Axioms for abstract model theory

J. BARWISE
Ann. Math. Log[c • 1974
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…