A quantified temporal logic for ampliation and restriction
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Dokumenttyp: | Article (Journal) |
| Sprache: | Englisch |
| Veröffentlicht: |
2013
|
| In: |
Vivarium
Year: 2013, Jahrgang: 51, Heft: 1/4, Pages: 485-510 |
| ISSN: | 1568-5349 |
| DOI: | 10.1163/15685349-12341259 |
| Online-Zugang: | Verlag, Volltext: http://dx.doi.org/10.1163/15685349-12341259 |
| Verfasserangaben: | Sara L. Uckelman, Ruprecht-Karls Universität Heidelberg |
| Beschreibung: | Gesehen am: 14.12.2020 |
|---|---|
| Beschreibung: | Online Resource |
| ISSN: | 1568-5349 |
| DOI: | 10.1163/15685349-12341259 |