LP-1997-01: Dynamic Bits and Pieces

LP-1997-01: van Benthem, Johan (1997) Dynamic Bits and Pieces. [Report]

[thumbnail of Old version (PS)] Text (Old version (PS))

Download (129kB)
[thumbnail of Old version (PDF)]
Text (Old version (PDF))

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

Download (498B)
[thumbnail of Full Text]
Text (Full Text)

Download (362kB) | Preview


This report is the first of a planned sequence of annual updates of the book
"Exploring Logical Dynamics", CSLI Publications, Stanford, summer 1996.
It contains a number of further results obtained since its first publication.
Sections 1, 2, 3 concern various issues in modal logic, 4, 5, 6 dynamic logic,
and 7 temporal logic, while Sections 8, 9 digress into infinitary logic.
Some corrigenda, and related results by others, have been included as well.

Item Type: Report
Report Nr: LP-1997-01
Series Name: Logic, Philosophy and Linguistics (LP)
Year: 1997
Date Deposited: 12 Oct 2016 14:40
Last Modified: 28 Nov 2016 13:33
URI: https://eprints.illc.uva.nl/id/eprint/1251

Actions (login required)

View Item View Item