PP-2009-08: van Benthem, Johan (2009) CRS and Guarded Logics, a fruitful contact. [Report]
Preview |
Text (Full Text)
PP-2009-08.text.pdf Download (368kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2009-08.abstract.txt Download (529B) |
Abstract
We show how relativization techniques from algebra have led
to new guarded fragments in logic that bound quantification.
We also show how guarded fragments may be see equivalently
as forms of generalized semantics that lower complexity.
Finally, we turn things around and discuss how this logic
connection raises new questions for algebra.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2009-08 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2009 |
| Uncontrolled Keywords: | relativization, CRS, guarded fragment, general assignment models,; fixed-point logics, algebraic logic |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/338 |
Actions (login required)
 |
View Item |
