✦ LIBER ✦

Alternative semantics for temporal logics

✍ Scribed by E. Allen Emerson

Publisher: Elsevier Science
Year: 1983
Weight: 112 KB
Volume: 1
Category: Article
ISSN: 0167-7136
DOI: 10.1016/0167-7136(83)90298-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Alternative semantics for temporal logic

Alternative semantics for temporal logics

✍ E.Allen Emerson 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 984 KB

Hierarchical semantics for relevant logi

Hierarchical semantics for relevant logics

✍ Ross T. Brady 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 804 KB

Semantic alternatives in Brouwer-Zadeh l

Semantic alternatives in Brouwer-Zadeh logics

✍ Roberto Giuntini 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 617 KB

On Semantics of Concurrency and Nondeter

On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics

✍ Irina Virbitskaite 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 920 KB

A Complete Semantics for Implicational L

A Complete Semantics for Implicational Logics

✍ Robert E. Kirk 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB

Semantics for more plausible deontic log

Semantics for more plausible deontic logics

✍ Sven Ove Hansson 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 273 KB

In order to avoid the paradoxes of standard deontic logic, we have to give up the semantic construction that identifies obligatory status with presence in all elements of a subset of the set of possible worlds. It is proposed that deontic logic should instead be based on a preference relation, accor