Examples of Institutions
- Propositional logic
- First-order logic
- Higher-order logic
- Intuitionistic logic
- Modal logic
- Temporal logic
- Web Ontology Language (OWL)
- Common logic
- Common Algebraic Specification Language (CASL)
Read more about this topic: Institution (computer Science)
Famous quotes containing the words examples of, examples and/or institutions:
“It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.”
—G.C. (Georg Christoph)
“There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.”
—Bernard Mandeville (1670–1733)
“You can’t talk about a kind of democracy unless those who are affected by decisions make those decisions whether the institutions in question be the welfare department, the university, the factory, the farm, the neighborhood, the country.”
—Casey Hayden (b. c. 1940)