PP-1999-20: Beth Definability for the Guarded Fragment

PP-1999-20: Hoogland, Eva and Marx, Maarten and Otto, Martin (1999) Beth Definability for the Guarded Fragment. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (107kB)
[thumbnail of Abstract] Text (Abstract)

Download (1kB)
Item Type: Report
Report Nr: PP-1999-20
Series Name: Prepublication (PP) Series
Year: 1999
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/20

Actions (login required)

View Item View Item