✦ LIBER ✦

Relational semantics for locally nondeterministic programs

✍ Scribed by Liangwei Xu; Masato Takeichi; Hideya Iwasaki

Publisher: Springer
Year: 1997
Tongue: English
Weight: 917 KB
Volume: 15
Category: Article
ISSN: 0288-3635
DOI: 10.1007/bf03037950

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strong Semantical Characterization for N

Strong Semantical Characterization for Nondeterministic Programs

✍ Laszlo Csirmaz 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 643 KB

Nondeterministic program schemata and th

Nondeterministic program schemata and their relation to dynamic logic

✍ V. A. Nepomnyashchii; N. V. Shilov 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 932 KB

A Coalgebraic Semantics for Epistemic Pr

A Coalgebraic Semantics for Epistemic Programs

✍ Alexandru Baltag 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 256 KB

A true concurrency semantics for paralle

A true concurrency semantics for parallel programs

✍ Tatjana Kapus; Bogomir Horvat; Marjeta Pučko 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 348 KB

A kripke-kleene semantics for logic prog

A kripke-kleene semantics for logic programs*

✍ Melvin Fitting 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 895 KB

We use a language L in which we have the propositional connectives A (and), V (or), and -i (not) as primitive. Alternatively we could take some as primitive and define others via the usual definitions, which work even in Kleene's three-valued logic. We also allow quantifiers V and 3, taking both as

An extension of S4 complete for the neig

An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics

✍ Martin Serastian Gerson 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 471 KB