LP-1998-05: Linguistic Grammar as Dynamic Logic

LP-1998-05: van Benthem, Johan (1998) Linguistic Grammar as Dynamic Logic. [Report]

[thumbnail of Full Text (PS)] Text (Full Text (PS))

Download (28kB)
[thumbnail of Full Text (PDF)]
Text (Full Text (PDF))

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

Download (666B)


Natural language is the primary vehicle of human communication. It involves
a series of interlocked processes at various levels of aggregation. Proof
theory and dynamic logic provide two paradigms for dealing with this variety.
This paper gives an analysis of some main issues that arise in merging the
two viewpoints towards this broader goal. Topics discussed include: proof
as discourse, interfacing low­level fast and high­level slow systems, merging
lambda dynamics and modal state dynamics, strategies that create feasible
proof calculi. Overall prospects for broad 'dynamic architectures' look good.

Item Type: Report
Report Nr: LP-1998-05
Series Name: Logic, Philosophy and Linguistics (LP)
Year: 1998
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1265

Actions (login required)

View Item View Item