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]

[thumbnail of Full Text]
Text (Full Text)

Download (368kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (529B)


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 View Item