𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The state complexity of ∑ ∗ $̄L and its connection with temporal logic

✍ Scribed by Jean-Camille Birget

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
363 KB
Volume
58
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The complexity of the temporal logic wit
The complexity of the temporal logic with “until” over general linear time
✍ M. Reynolds 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 350 KB

It is shown that the decision problem for the temporal logic with the strict until operator over general linear time is PSPACE-complete. This shows that it is no harder to reason with arbitrary linear orderings than with discrete linear time temporal logics. New techniques are used to give a PSPACE

The equation of state of a substance at
The equation of state of a substance at the absolute zero of temperature, and properties connected with it
✍ R.D. Kleeman 📂 Article 📅 1928 🏛 Elsevier Science 🌐 English ⚖ 543 KB

IN previous papers 1 the writer has determined the zero of the controllable internal energy and entropy of a substance, and some of the corresponding properties. This zero corresponds to the substance being in the condensed state under its vapor pressure at the absolute zero of temperature. The subj

Combinations of tense and deontic modali
Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation
✍ Lennart Åqvist 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 344 KB

We consider three infinite hierarchies of what I call "two-dimensional temporal logics with explicit realization operators", viz. (i) one without historical or deontic modalities, (ii) one with historical but without deontic modalities, and (iii) one with historical and with dyadic deontic modalitie