𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A multiprocess network logic with temporal and spatial modalities

✍ Scribed by John Reif; A.P. Sistla

Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
841 KB
Volume
30
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A spatial modal logic with a location in
A spatial modal logic with a location interpretation
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 141 KB

A spatial modal logic (SML) is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space (or location) interpretation is obtained for SML. The finite model property with respect to the semantics for SML

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