A quantified temporal logic for ampliation and restriction
Saved in:
| Main 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 Universität Heidelberg |
| Item Description: | Gesehen am: 14.12.2020 |
|---|---|
| Physical Description: | Online Resource |
| ISSN: | 1568-5349 |
| DOI: | 10.1163/15685349-12341259 |