𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Unifying Quantified Modal Logic

✍ Scribed by James W. Garson


Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
292 KB
Volume
34
Category
Article
ISSN
0022-3611

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