𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Neighborhood-Sheaf Semantics for First-Order Modal Logic

✍ Scribed by Kohei Kishida

Book ID
113602760
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
282 KB
Volume
278
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD
QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
✍ 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

First-Order Classical Modal Logic
First-Order Classical Modal Logic
✍ Horacio ArlΓ³-Costa; Eric Pacuit πŸ“‚ Article πŸ“… 2006 πŸ› Springer Netherlands 🌐 English βš– 377 KB