A quantified temporal logic for ampliation and restriction

Saved in:
Bibliographic Details
Published in:Vivarium
Main Author: Uckelman, Sara L. 1982-
Format: Electronic Article
Language:English
Check availability: HBZ Gateway
Journals Online & Print:
Drawer...
Published: 2013
In:Vivarium
Year: 2013, Volume: 51, Issue: 1/4, Pages: 485-510
Further subjects:B temporal logic appellation ampliation restriction supposition quantification necessity Lambert of Lagny
Online Access: Volltext (Verlag)
Description
ISSN:1568-5349
Contains:In: Vivarium
Persistent identifiers:DOI: 10.1163/15685349-12341259