A quantified temporal logic for ampliation and restriction

Saved in:

Bibliographic Details
Main Author:	Uckelman, Sara L. (Author)
Format:	Article (Journal)
Language:	English
Published:	2013
In:	Vivarium Year: 2013, Volume: 51, Issue: 1/4, Pages: 485-510
ISSN:	1568-5349
DOI:	10.1163/15685349-12341259
Online Access:	Verlag, Volltext: http://dx.doi.org/10.1163/15685349-12341259
Author Notes:	Sara L. Uckelman, Ruprecht-Karls Universität Heidelberg

A quantified temporal logic for ampliation and restriction by Uckelman, Sara L. (Author)

in: Vivarium, 51 (2013), 1/4, Seite 485-510

Article (Journal)