ITLI-1986-05: Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators

ITLI-1986-05: Bowen, Kenneth A. and de Jongh, Dick (1986) Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators. [Report]

[img]
Preview
Text (Full Text)
ITLI-1986-05.text.pdf

Download (1MB) | Preview
Item Type: Report
Report Nr: ITLI-1986-05
Series Name: Instituut voor Taal, Logika en Informatie (ITLI)
Year: 1986
Date Deposited: 12 Oct 2016 14:39
Last Modified: 28 Nov 2016 13:25
URI: https://eprints.illc.uva.nl/id/eprint/1107

Actions (login required)

View Item View Item