Modal and temporal operators on partial orders
- We generalize the operators of classical linear time temporal logic to partial orders, such as the ones used in domain theory. This relates denotaional semantics and temporal logic. We put this into the general perspective of modal logic. a and b are viewed as standard modalities, which gives "half" of the standard axioms of LTL. Moroever, we show that the next-time operator c can be defined as a combination of two modalities. We show the role of the standard LTL axioms in narrowing the underlying partial orders to linear ones generated by the immediate-successor relation. We distinguish between modal and temporal validity of formulas and investigate their relation.
| Author: | Bernhard MöllerGND |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-2202 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/269 |
| Series (Serial Number): | Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (1997-02) |
| Publisher: | Institut für Informatik, Universität Augsburg |
| Place of publication: | Augsburg |
| Type: | Report |
| Language: | English |
| Year of first Publication: | 1997 |
| Publishing Institution: | Universität Augsburg |
| Release Date: | 2006/06/21 |
| GND-Keyword: | Temporale Logik |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
