𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ease and difficulty: a modal logic with deontic applications

✍ Scribed by NICHOLAS DENYER

Book ID
114916391
Publisher
Wiley (Blackwell Publishing)
Year
2008
Tongue
English
Weight
924 KB
Volume
56
Category
Article
ISSN
1755-2567

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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