University of AmsterdamUniversity of AmsterdamUvA

  • Terms of use
  • Contact

UvA-DARE (Digital Academic Repository)

  • Home
  • Advanced Search
  • Browse
  • My selection

Search UvA-DARE

Author
J. van Benthem
Year
2013
Title
CRS and Guarded Logics: a fruitful contact
Book title
Cylindric-like algebras and algebraic logic
Pages (from-to)
273-301
Publisher
Berlin: Springer
ISBN
9783642350245
9789639453159
ISBN (electronic)
9783642350252
Serie
Bolyai Society Mathematical Studies: 1217-4696
Volume (Serie)
22
Document type
Chapter
Faculty
Interfacultary Research Institutes
Institute
Institute for Logic, Language and Computation (ILLC)
Abstract
Back and forth between algebra and model theory. Algebra and model theory are complementary stances in the history of logic, and their interaction continues to spawn new ideas, witness the interface of First-Order Logic and Cylindric Algebra. This chapter is about a more specialized contact: the flow of ideas between algebra and modal logic through ‘guarded fragments’ restricting the range of quantification over objects. Here is some general background for this topic. For a start, the connection between algebra and model theory is rather tight, since we can view universal algebra as the equational logic part of standard first-order model theory. As an illustration, van Benthem [Ben,88] has a purely model-theoretic proof of Jónsson’s Theorem characterizing the equational varieties with distributive lattices of congruence relations, a major tool of algebraists. Deeper connections arise in concrete cases with categorial dualities, such as that between BAOs and the usual relational models of modal logic. An important example is the main theorem in Goldblatt and Thomason [Gol-Tho,74] characterizing the elementary modally definable frame classes through their closure under taking generated sub-frames, disjoint unions, p-morphic images, and anti-closure under ultrafilter extensions. Its original proof goes back and forth between algebras and frames, in order to apply Birkhoff’s characterization of equational varieties.
URL
go to publisher's site
Language
English
Permalink
http://hdl.handle.net/11245/1.381628

Disclaimer/Complaints regulations

If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.

PrintPrint this pageShareShare via emailShare on facebookShare on linkedinShare on twitter
  • University library
  • About UvA-DARE
  • Disclaimer
Copyright UvA 2014