✦ LIBER ✦

On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics

✍ Scribed by Irina Virbitskaite

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 920 KB
Volume: 18
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80261-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the primary and secondary semantics o

On the primary and secondary semantics of logical necessity

✍ Nino B. Cocchiarella 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 848 KB

On the expressivity and complexity of qu

On the expressivity and complexity of quantitative branching-time temporal logics

✍ F. Laroussinie; Ph. Schnoebelen; M. Turuani 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 347 KB

We investigate extensions of CTL allowing to express quantitative requirements about an abstract notion of time in a simple discrete-time framework, and study the expressive power of several relevant logics. When only subscripted modalities are used, polynomial-time model checking is possible even

On Fuzzy Logic II. Enriched residuated l

On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi

✍ Jan Pavelka 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 805 KB

For instance, the consequence gy(,,, \*,O of the empty L-fuzzy set Op = 0, 'p E P ( P , L,A) is an L-fuzzy subset of F ( P , L, A ) , which assigns to every 'p E F ( P , L, A ) its tautological degree (%9(P,&)O) 'p E L.

Exit fantasyland: On the ontological sta

Exit fantasyland: On the ontological status of “pure” logic and “pure” semantics

✍ John C. W. Touchie 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 639 KB

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

The nature and time-course of medial tem

The nature and time-course of medial temporal lobe contributions to semantic retrieval: An fMRI study on verbal fluency

✍ Signy Sheldon; Morris Moscovitch 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 398 KB 👁 2 views

## Abstract Recent investigations have shown that the medial temporal lobe (MTL), a region thought to be exclusive to episodic memory, can also influence performance on tests of semantic memory. The present study examined further the nature of MTL contributions to semantic memory tasks by tracking