PP-2004-01: Minimal Predicates, Fixed Points, and Definability

PP-2004-01: van Benthem, Johan (2004) Minimal Predicates, Fixed Points, and Definability. [Report]

[thumbnail of Full Text]
Text (Full Text)

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

Download (718B)


We analyse the use of predicate minimization as a logical device,
determining the circumstances when it is appropriate in both semantic
and syntactic terms . Our main result here is a syntactic
characterization of all first-order formulas satisfying a semantic
property of predicate intersection. Moreover, we show how the use of
this device sheds new light on old issues of frame definability in
modal logic, leading to a semantic hierarchy of frame conditions with
a natural level of fixed-point definability in between first-order and
general higher-order.

Item Type: Report
Report Nr: PP-2004-01
Series Name: Prepublication (PP) Series
Year: 2004
Uncontrolled Keywords: predicate minimization, predicate intersection, frame definability
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/112

Actions (login required)

View Item View Item