PP-2009-08: CRS and Guarded Logics, a fruitful contact

PP-2009-08: van Benthem, Johan (2009) CRS and Guarded Logics, a fruitful contact. [Report]

[img]
Preview
Text (Full Text)
PP-2009-08.text.pdf

Download (368kB) | Preview
[img] 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 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 View Item