LP-1997-01: van Benthem, Johan (1997) Dynamic Bits and Pieces. [Report]
![[thumbnail of Old version (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Old version (PS))
LP-1997-01.text.ps.gz Download (129kB) |
Preview |
Text (Old version (PDF))
LP-1997-01.text.pdf Download (119kB) | Preview |
|
Text (Abstract)
LP-1997-01.abstract.txt Download (498B) |
Preview |
Text (Full Text)
LP-1997-01.text.pdf Download (362kB) | Preview |
Abstract
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 |
