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: | |
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 |