𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantified Modal Logic, Dynamic Semantics and S 5.

✍ Scribed by Paul Gochet; Eric Gillet


Book ID
111367334
Publisher
John Wiley and Sons
Year
2005
Tongue
English
Weight
447 KB
Volume
53
Category
Article
ISSN
0012-2017

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD
✍ Geir WaagbΓΈ; G. WaagbΓΈ πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 503 KB

## Abstract The paper presents a semantics for quantified modal logic which has a weaker axiomatization than the usual Kripke semantics. In particular, the Barcan Formula (BF) and its converse are not valid with the proposed semantics. Subclasses of models which validate BF and other interesting fo