Reasoning About Plural Entities in a Temporal Logic
Publikation: Forskning - peer review › Tidsskriftartikel
| Originalsprog | Engelsk |
|---|---|
| Bogserie | Natural and Formal Languages |
| Udgivelsesdato | 1989 |
| Vol/bind | S.7 |
| Status | Udgivet |
Bibliografisk note
Projektrapport fra Aalborg Universitetscenter
Projektrapport fra Aalborg Universitetscenter
Emneord
- Temporal Logic, Formal Semantics, Logic for Plurals
ID: 22931