A quantified temporal logic for ampliation and restriction
| Published in: | Vivarium |
|---|---|
| Main Author: | |
| Format: | Electronic Article |
| Language: | English |
| Check availability: | HBZ Gateway |
| Journals Online & Print: | Drawer...
|
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Brill
2013
|
| In: |
Vivarium
|
| Further subjects: | B
temporal logic
appellation
ampliation
restriction
supposition
quantification
necessity
Lambert of Lagny
|
| Online Access: |
Volltext (Verlag) |
| Item Description: | Gesehen am: 14.12.2020 |
|---|---|
| ISSN: | 1568-5349 |
| Contains: | In: Vivarium
|
| Persistent identifiers: | DOI: 10.1163/15685349-12341259 |