LP-1997-01: Dynamic Bits and Pieces

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

[img] Text (Old version (PS))
LP-1997-01.text.ps.gz

Download (129kB)
[img]
Preview
Text (Old version (PDF))
LP-1997-01.text.pdf

Download (119kB) | Preview
[img] Text (Abstract)
LP-1997-01.abstract.txt

Download (498B)
[img]
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 View Item